diff --git a/Jenkinsfile b/Jenkinsfile
index 14d503c..6f1e012 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -136,7 +136,7 @@ pipeline {
                     sh "mvn -P windows,linux,osx,wintab versions:revert"
                     sh "mvn -P windows,linux,osx,wintab versions:set -DnextSnapshot"
                     sh "git commit -m 'Next development release' ."
-                    sh "git push --follow-tags"
+                    sh "git push origin HEAD:master --follow-tags"
                 }
             }
         }