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.)
--
https://rrt.sc3d.org
