From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Fri, 1 Apr 2022 00:49:35 +0000 (-0700)
Subject: make-release: Change instructions for pushing tag.
X-Git-Tag: cvc5-1.0.0~77
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=6b7f763081b98c83629c524a791300dce2919647;p=cvc5.git

make-release: Change instructions for pushing tag.
---

diff --git a/contrib/make-release.py b/contrib/make-release.py
index 2f673a7de..15ead78e3 100755
--- a/contrib/make-release.py
+++ b/contrib/make-release.py
@@ -117,4 +117,4 @@ if __name__ == '__main__':
     print(
         'If you are sure you want to push this release, use the following command:'
     )
-    print('\tgit push --tags origin main')
+    print(f'\tgit push origin {tagname}')