Push the tag explicitly to avoid pushing private tags.
authorLars Ingebrigtsen <larsi@gnus.org>
Tue, 22 Feb 2011 00:02:23 +0000 (16:02 -0800)
committerLars Ingebrigtsen <larsi@gnus.org>
Tue, 22 Feb 2011 00:02:23 +0000 (16:02 -0800)
makepub

diff --git a/makepub b/makepub
index a068bfc..0f25629 100755 (executable)
--- a/makepub
+++ b/makepub
@@ -40,7 +40,7 @@ tversion=`echo $next_version | sed 's/[.]/-/g'`
 git tag -a "$initial$tversion" -m "$name v$next_version is released"
 
 git push
 git tag -a "$initial$tversion" -m "$name v$next_version is released"
 
 git push
-git push --tags
+git push tag "$initial$tversion"
 
 # Increase the number, yet again, to start the next development cycle.
 
 
 # Increase the number, yet again, to start the next development cycle.