diff options
| author | crystal <crystal@noreply.codeberg.org> | 2025-04-22 03:56:51 +0000 |
|---|---|---|
| committer | crystal <crystal@noreply.codeberg.org> | 2025-04-22 03:56:51 +0000 |
| commit | 5960d64d38b6b579aa05afe4c8978c567196751f (patch) | |
| tree | 74b04130486a64e45e4d304980fe0c63f592cf9c | |
| parent | f2d9ee5175832d72bfbda0228b7a06074fd21da7 (diff) | |
add --force-push option to auto-pr script (#77)
Reviewed-on: https://codeberg.org/forgejo-contrib/forgejo-deb/pulls/77
| -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 |