git-tag-release: Push just the new tag; fetch before retry
commitbfa64b0a203b6b2b25e0a4ad1eb3b2d3b31ba9e3
authorOlly Betts <olly@survex.com>
Sun, 11 Dec 2016 03:09:47 +0000 (11 16:09 +1300)
committerOlly Betts <olly@survex.com>
Sun, 11 Dec 2016 03:09:47 +0000 (11 16:09 +1300)
tree02904f4df2bf59346273ac40fab3b234c959190e
parentc189a54b248459234a6d7637a4577b1483728bcc
git-tag-release: Push just the new tag; fetch before retry
xapian-maintainer-tools/git-tag-release