Add git alias : git force

2026-06-15 11:11:57 +02:00 · 2024-05-21 07:45:15 +02:00
parent 2944a7a99f
commit 900615b7dc
1 changed files with 1 additions and 0 deletions
@@ -11,6 +11,7 @@
  f = fetch -p
  nb = checkout -b
  p = push -u origin
+  pf = p --force-with-lease
  s = status
  track = "!for BRANCH in $(git branch -a | grep remotes | grep -v HEAD); do git branch --track \"${BRANCH#remotes/origin/}\" \"${BRANCH}\"; done"
  untrack = "!for BRANCH in $(git branch | grep -v '*'); do git branch -D \"${BRANCH}\"; done"