git push --force

actually required in some cases
fvanderbiest · Jun 4, 2018 · b220470 · b220470
1 parent 55394b5
commit b220470
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/scripts/run.sh b/scripts/run.sh
@@ -30,6 +30,6 @@ do
 
     if [ $REMOTE_NAME ] && [ $REMOTE_URL ]; then
         # push to repository in the background
-        git push $REMOTE_NAME $REMOTE_BRANCH &
+        git push --force $REMOTE_NAME $REMOTE_BRANCH &
     fi
 done