Add force push if set in environment

Author: Karlinator

README.md

@@ -23,6 +23,7 @@ jobs:
       with:
         args: "https://gitlab.com/<namespace>/<repository>"
       env:
+        FORCE_PUSH: "true"
         GITLAB_HOSTNAME: "gitlab.com"
         GITLAB_USERNAME: "svboxel"
         GITLAB_PASSWORD: ${{ secrets.GITLAB_PASSWORD }} // Generate here: https://gitlab.com/profile/personal_access_tokens

entrypoint.sh

@@ -31,7 +31,12 @@ sh -c "git config --global core.askPass /cred-helper.sh"
 sh -c "git config --global credential.helper cache"
 sh -c "git remote add mirror $*"
 sh -c "echo pushing to $branch branch at $(git remote get-url --push mirror)"
+if ["$FORCE_PUSH" = "true"]
+then
+sh -c "git push --force mirror $branch"
+else
 sh -c "git push mirror $branch"
+fi
 
 sleep $POLL_TIMEOUT