Reuben Thomas wrote: > Unless I'm missing something, there's nothing that does "git push > --tags" in README-release. Is that right? If so, I'll provide a patch.
You don't want to push all tags.
This pushes the just-created tag:
* Push the NEWS-updating changes and the new tag:
v=$(cat .prev-version)
git push origin master tag v$v
