and `git branch --merged` will show you all your local branches which have been merged into your current branch and thus can be deleted safely