I was about to follow the instructions to delete all branches on remote that are already merged:
git branch -r --merged | grep -v master | sed \'s/origin\\//:
