From: Lars Ingebrigtsen <larsi@gnus.org>
Date: Tue, 22 Feb 2011 00:02:23 +0000 (-0800)
Subject: Push the tag explicitly to avoid pushing private tags.
X-Git-Url: https://cgit.sxemacs.org/?p=gnus;a=commitdiff_plain;h=3919cdd54846dd534dec869cb6c97362b1982652

Push the tag explicitly to avoid pushing private tags.
---

diff --git a/makepub b/makepub
index a068bfc7e..0f25629da 100755
--- 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.