make-release: Change instructions for pushing tag.

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