From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Fri, 1 Apr 2022 20:28:31 +0000 (-0700)
Subject: make-release: Clarify instructions for pushing commits and tag. (#8524)
X-Git-Tag: cvc5-1.0.0~56
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=3ed98649f44eb680d2a1a1da43aac830268e2660;p=cvc5.git

make-release: Clarify instructions for pushing commits and tag. (#8524)
---

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