Git/Cleanup
- Notes on cleaning a git repo, with a lot of old branches.
From: https://stackoverflow.com/questions/7726949/remove-tracking-branches-no-longer-on-remote
git remote prune origin git branch --merged >/tmp/merged-branches && \ vi /tmp/merged-branches && xargs git branch -d </tmp/merged-branches