remove unused pushbranch & protect pushf

This commit is contained in:
Gabriel Augendre 2024-02-06 18:19:55 +01:00
parent 8b077316d4
commit 84d337b6f8

View file

@ -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