git-tag-release: Push just the new tag; fetch before retry
commit6fb051f81453ce943ccba3037a0a2c38fb646c63
authorOlly Betts <olly@survex.com>
Sun, 11 Dec 2016 03:09:47 +0000 (11 16:09 +1300)
committerOlly Betts <olly@survex.com>
Wed, 14 Dec 2016 02:08:19 +0000 (14 15:08 +1300)
tree04bc08cba928254464165d4de4f0ca58e3aef076
parent39adfa45e3a5456891c2d693e0bc801234b8820f
git-tag-release: Push just the new tag; fetch before retry

(cherry picked from commit bfa64b0a203b6b2b25e0a4ad1eb3b2d3b31ba9e3)
xapian-maintainer-tools/git-tag-release