From 2e0ac79bda362ab0cb22f7c60233bf28b10df474 Mon Sep 17 00:00:00 2001 From: Olly Betts Date: Wed, 20 Jul 2022 15:30:13 +1200 Subject: [PATCH] git-tag-release: Push branch and new tag Ask first, as it's hard to undo a mistake that's gone public! (cherry picked from commit d0fc1d8e5036420365b159c84fe94a8dc38ba370) --- xapian-maintainer-tools/git-tag-release | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/xapian-maintainer-tools/git-tag-release b/xapian-maintainer-tools/git-tag-release index 6b2b09743..37cc5f2e2 100755 --- a/xapian-maintainer-tools/git-tag-release +++ b/xapian-maintainer-tools/git-tag-release @@ -181,3 +181,7 @@ Content-Type: application/pgp-signature; name="signature.asc" --=-=-=-=-=-=-=-- END mutt -E -H tmp.msg +echo 'Hit enter to push branch and new tag' +read +git push +git push --tags "$tag" -- 2.11.4.GIT