git-tag-release: Push just the new tag; fetch before retry
commit1def9676feab242734823ed5ea877ce1384b5a84
authorOlly Betts <olly@survex.com>
Sun, 11 Dec 2016 03:09:47 +0000 (11 16:09 +1300)
committerOlly Betts <olly@survex.com>
Mon, 26 Dec 2016 09:31:23 +0000 (26 22:31 +1300)
treea0b57974a03121a3e6c6f6decfc46b1b897918c9
parentac78e668d3bf6ca04cf0cd397cf700281d6e2544
git-tag-release: Push just the new tag; fetch before retry

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