#Cleaning up local #git branches #deleted on a remote
▻https://www.erikschierboom.com/2020/02/17/cleaning-up-local-git-branches-deleted-on-a-remote
[alias]
gone = ! "git fetch -p && git for-each-ref --format '%(refname:short) %(upstream:track)' | awk '$2 == \"[gone]\" {print $1}' | xargs -r git branch -D"#gone
