[bashrc] When git-pulling, delete local branches that have been merged