From 84d337b6f8bdf8e4f40ddf0770299dd094f5dc22 Mon Sep 17 00:00:00 2001
From: Gabriel Augendre <gabriel@augendre.info>
Date: Tue, 6 Feb 2024 18:19:55 +0100
Subject: [PATCH] remove unused pushbranch & protect pushf

---
 dot_config/git/private_config.tmpl | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/dot_config/git/private_config.tmpl b/dot_config/git/private_config.tmpl
index 6c2409e..9718b50 100644
--- a/dot_config/git/private_config.tmpl
+++ b/dot_config/git/private_config.tmpl
@@ -36,9 +36,7 @@
     syn = ! "git pull --rebase && git push"
     gone = ! "git fetch -p && git for-each-ref --format '%(refname:short) %(upstream:track)' | awk '$2 == \"[gone]\" {print $1}' | xargs -r git branch -D"
     praise = blame
-    pushbranch = ! "git push -u origin $(git rev-parse --abbrev-ref HEAD)"
-    pushu = pushbranch
-    pushf = push -f
+    pushf = push --force-with-lease --force-if-includes
     cobf = ! "f() { git branch -D $1 && git switch -c $1; }; f"
     sw = switch
     swc = switch