diff --git a/z3_release_fetcher.py b/z3_release_fetcher.py
index 2134fe5..1b9c176 100644
--- a/z3_release_fetcher.py
+++ b/z3_release_fetcher.py
@@ -937,7 +937,7 @@ def call_objdump(file):
         gitrepo.git.commit('-m', 'Package plugin version %s' % (plugin_version))
         gitrepo.git.tag(plugin_version)
         gitrepo.git.push('--quiet', '--set-upstream', 'origin-with-token', 'master')
-        gitrepo.git.push('origin-with-tokens', '--tags')
+        gitrepo.git.push('origin-with-token', '--tags')
 
     else:
         sys.stderr.write('Cannot find release description for %s' % (z3_version))