git: prune deleted branches on fetch/pull

This commit is contained in:
2020-03-21 23:01:01 +00:00
parent bc89989bbb
commit fb480c73c5
+3
View File
@@ -10,10 +10,13 @@
diffFilter = diff-highlight diffFilter = diff-highlight
[commit] [commit]
gpgsign = true gpgsign = true
[fetch]
prune = true
[push] [push]
default = upstream default = upstream
[pull] [pull]
rebase = true rebase = true
prune = true
[rebase] [rebase]
autoStash = true autoStash = true
[log] [log]