Push the tag explicitly to avoid pushing private tags.

[gnus] / 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 push --tags
+git push tag "$initial$tversion"
 
 # Increase the number, yet again, to start the next development cycle.