Make 'git up' prune branches that have been deleted from the remote
This commit is contained in:
parent
8096375762
commit
1427a22db4
1 changed files with 1 additions and 1 deletions
|
@ -8,7 +8,7 @@
|
||||||
co = checkout
|
co = checkout
|
||||||
d = diff
|
d = diff
|
||||||
l = log --graph --pretty=graph --date=relative
|
l = log --graph --pretty=graph --date=relative
|
||||||
up = pull --rebase=preserve --autostash
|
up = pull --prune --rebase=preserve --autostash
|
||||||
patch = !git --no-pager diff --no-color
|
patch = !git --no-pager diff --no-color
|
||||||
st = status --short
|
st = status --short
|
||||||
shove = "!f() { git push ${1:-origin} :; }; f"
|
shove = "!f() { git push ${1:-origin} :; }; f"
|
||||||
|
|
Loading…
Reference in a new issue