From 6fb051f81453ce943ccba3037a0a2c38fb646c63 Mon Sep 17 00:00:00 2001
From: Olly Betts <olly@survex.com>
Date: Sun, 11 Dec 2016 16:09:47 +1300
Subject: [PATCH] git-tag-release: Push just the new tag; fetch before retry

(cherry picked from commit bfa64b0a203b6b2b25e0a4ad1eb3b2d3b31ba9e3)
---
 xapian-maintainer-tools/git-tag-release | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/xapian-maintainer-tools/git-tag-release b/xapian-maintainer-tools/git-tag-release
index c9866cce1..9032a541f 100755
--- a/xapian-maintainer-tools/git-tag-release
+++ b/xapian-maintainer-tools/git-tag-release
@@ -68,11 +68,12 @@ while ! git tag -v "$tag" > /dev/null 2>&1 ; do
 No '$tag' tag found - please create a signed tag and push it - in your local
 tree do this:
 
-git fetch && git tag -s -m 'Xapian $version release' '$tag' '$BRANCH' && git push --tags
+git fetch && git tag -s -m 'Xapian $version release' '$tag' '$BRANCH' && git push origin '$tag'
 
 Once you've done that, hit ENTER in this terminal to continue.
 EOF
     read dummy
+    git fetch
 done
 
 echo "Building release tarballs"
-- 
2.11.4.GIT