On Fri, Oct 6, 2017 at 1:35 AM, Reuben Thomas wrote:
> 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? Eit
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 thi
