diff --git a/jenkins.sh b/jenkins.sh
index d609e2a39..4aadcf7fb 100755
--- a/jenkins.sh
+++ b/jenkins.sh
@@ -18,6 +18,6 @@ if [ "$MASTER_SHA" == "$HEAD_SHA" ]; then
     git push origin $VERSION_TAG
 
     # Alias branch for the most recently released tag, for easier diffing
-    git push origin master:latest-release
+    git push -f origin master:latest-release
   fi
 fi