Before releasing:
- ❌ Make sure version number heading in
download-utilities.sh
matchesCHANGELOG.md
. - ❌ Do not create any Git tags.
- ❌ Configure credential for gh cli before releasing.
- ❌ Be sure your private key is loaded into ssh-agent.
- ❌ Push main branch before releasing.
Create a fine-grained access token.
- Restrict repository to this repo.
- Grant contents: read/write
Set environment variable.
export GITHUB_TOKEN=...
Choose the version number without v prefix.
./.ci/release.sh 2.13