More little git tricks

See all branches that have been merged to master, so you can delete them:

git branch -r --merged master

-r shows remote, so I can clean up someone else's branches too.