[scripts] add 'push --force' to pull-request

2024-01-15 22:37:33 +01:00
parent 799a8206ad
commit 4d6ec6958d
1 changed files with 4 additions and 0 deletions
--- a/scripts/pull-request
+++ b/scripts/pull-request
@@ -41,6 +41,10 @@ case "${2,,}" in
    call git push "$USER" HEAD:"$BRANCH"
    ;;

+"pf"|"push-force")
+    call git push --force "$USER" HEAD:"$BRANCH"
+    ;;
+
 "d"|"delete")
    call git switch master
    call git branch -D "$USER-$BRANCH"