Currently, HACKING contains:
* Push the NEWS-updating changes and the new tag:
v=$(cat .prev-version)
git push origin master tag v$v
Is there some reason this can't or shouldn't be done at one of the release stages? Either in the release or the release-commit target?
(I noticed that this step had escaped from my more streamlined GNU Zile release procedure, but I couldn't think of a reason to make it an extra manual step.)
--