From 3919cdd54846dd534dec869cb6c97362b1982652 Mon Sep 17 00:00:00 2001
From: Lars Ingebrigtsen <larsi@gnus.org>
Date: Mon, 21 Feb 2011 16:02:23 -0800
Subject: [PATCH] Push the tag explicitly to avoid pushing private tags.

---
 makepub | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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.
 
-- 
2.25.1