From f9ef018e3c287069cd0bf7f0c6af7f1cc3cb356c Mon Sep 17 00:00:00 2001
From: Lars Magne Ingebrigtsen <larsi@quimbies.gnus.org>
Date: Thu, 17 Mar 2011 20:40:46 +0100
Subject: [PATCH 1/1] Fix "push tag" command.

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

diff --git a/makepub b/makepub
index d76a4a791..4159d0f18 100755
--- a/makepub
+++ b/makepub
@@ -39,7 +39,7 @@ tversion=`echo $next_version | sed 's/[.]/-/g'`
 
 git tag -a "$initial$tversion" -m "$name v$next_version is released"
 
-git push && git push master tag "$initial$tversion"
+git push && git push origin tag "$initial$tversion"
 
 # Increase the number, yet again, to start the next development cycle.
 
-- 
2.25.1