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

diff --git a/contrib/make-release.py b/contrib/make-release.py
index 15ead78e328fed6967106ae28f458f174b0e5d46..aa5dff939ee2e50ac80f8eda39a37e24a24ff973 100755 (executable)
--- 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}')