Make sure in the release proces that git push is done before git push --tags.
authorEric S. Raymond <esr@thyrsus.com>
Tue, 9 Oct 2012 11:33:30 +0000 (07:33 -0400)
committerEric S. Raymond <esr@thyrsus.com>
Tue, 9 Oct 2012 11:33:30 +0000 (07:33 -0400)
commit885df9245dc70563e821c737cca0cacd17e7250b
tree94328827d55a4aee522a05758440e49c1acc144a
parenta57800ddfc2e1360bc9a562c242352768d97b4d3
Make sure in the release proces that git push is done before git push --tags.
Makefile