release.yml: Use DANDI_GITHUB_TOKEN to push to repo

[jwodder]

Closes #43.

[codecov]

Codecov Report

Merging #44 (bd3a69e) into master (004de55) will not change coverage.
The diff coverage is n/a.

@@           Coverage Diff           @@
##           master      #44   +/-   ##
=======================================
  Coverage   95.78%   95.78%           
=======================================
  Files          11       11           
  Lines        1021     1021           
=======================================
  Hits          978      978           
  Misses         43       43           

Flag	Coverage Δ
unittests	95.78% <ø> (ø)

Flags with carried forward coverage won't be shown. Click here to find out more.

---

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update 004de55...bd3a69e. Read the comment docs.

[satra]

i think this may also need the git checkout and git ref update that was in the linked yaml

[satra]

or we can test this by giving it a release + patch label first.

[jwodder]

@satra Do you mean the git fetch --unshallow --tags? That's equivalent to passing with: {fetch-depth: 0} to the checkout action.

[satra]

the section after that.

[jwodder]

@satra The git config --local --unset should be taken care of by specifying token: ${{ secrets.DANDI_GITHUB_TOKEN }} when checking out.

[satra]

ok let's check it out. i added the release + patch labels. merging now.

[jwodder]

@satra It failed because the 0.2.9 tag already exists from the last failed release.

[satra]

just deleted it and triggering a new release.