Use this when tagging a new version (e.g. v0.1.0) and publishing it on GitHub.
v0.1.0 is already created. The tag and release live at GitHub Releases. Paste-ready notes for that release: release-notes/v0.1.0.md.
If you want the v0.1.0 release to include the latest commits (e.g. badge-test AOM script, spec/examples redirects, Tools→tools):
git tag -d v0.1.0
git tag -a v0.1.0 -m "Release v0.1.0"
git push origin :refs/tags/v0.1.0
git push origin v0.1.0
release-notes/vX.Y.Z.md if you want paste-ready notes.git tag -a vX.Y.Z -m "Release vX.Y.Z" then git push origin vX.Y.Z.release-notes/vX.Y.Z.md or CHANGELOG. Publish.