diff options
| -rwxr-xr-x | .auto-pr.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/.auto-pr.sh b/.auto-pr.sh index 89bc5ca..8b94aaf 100755 --- a/.auto-pr.sh +++ b/.auto-pr.sh @@ -39,5 +39,6 @@ if [ "$FORGEJO_LATEST" != "$FORGEJO_CURRENT" ];then mv deb/debian/changelog-prepend deb/debian/changelog git add . git commit -m "Forgejo $FORGEJO_LATEST" - git push origin HEAD:refs/for/$AUTO_PR_BRANCH/autopr-$FORGEJO_LATEST -o description="_auto-generated pull request_" # -o force-push=true + if [ "$1" = "--force-push" ];then FORCE_PUSH="-o force-push=true" ;fi + git push origin HEAD:refs/for/$AUTO_PR_BRANCH/autopr-$FORGEJO_LATEST -o description="_auto-generated pull request_" $FORCE_PUSH fi |