Use this when something cannot be driven by GitHub Actions (credentials outside GitHub, one-off maintainer tasks).
Default Hex + GitHub releases: see MAINTAINING.md → Release automation. On main, Release Please opens a Release PR from conventional commits; merging that PR creates the GitHub Release + v* tag and runs publish-hex with HEX_API_KEY. Recovery: Actions → Hex publish (manual recovery).
1. Merge work into main
- Wait until required checks are green on the PR, then merge (squash or merge — team norm).
gh pr merge <N> --merge
2. Ship a Hex version (if not using Release Please)
After main has the commit you intend to ship:
- Confirm
mix.exs@versionandMAINTAINING.mdsemver notes. HEX_API_KEYin Settings → Secrets → Actions, then either:- merge the Release PR from Release Please (preferred), or
- Actions → Hex publish (manual recovery) with tag/SHA + version string, or
- local:
mix hex.publish --yes
3. GitHub Release
Release Please creates the release when the Release PR merges and now syncs the matching CHANGELOG.md ### Summary block into the GitHub Release body automatically. For a hand-cut release, use GitHub → Releases from the v<version> tag and start with that same summary block, then paste or adapt the detailed release section below it.