From a3792fafb4d1e7ee64a82f01fcbc20a4f68df72b Mon Sep 17 00:00:00 2001 From: Art Cancro Date: Mon, 27 Dec 2021 17:43:02 -0500 Subject: [PATCH] We have to push the changes *and* the tags --- do-release.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/do-release.sh b/do-release.sh index 8e41665f1..bf4824918 100755 --- a/do-release.sh +++ b/do-release.sh @@ -65,5 +65,5 @@ git commit -a -m "Release version ${NEW_VERSION} generated by do-release.sh" git tag -a v${NEW_VERSION} -m "Version ${NEW_VERSION} release" echo -e '' -echo -e '\033[37m\033[1mFinished. Remember to git push --tags\033[0m' +echo -e '\033[37mFinished. Remember to \033[7mgit push\033[0m and then \033[7mgit push --tags\033[0m' echo -e '' -- 2.30.2