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

mikf · Jan 15, 2024 · 4d6ec69 · 4d6ec69
1 parent 799a820
commit 4d6ec69
Showing 1 changed file with 4 additions and 0 deletions.
diff --git 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"