# Cheat sheets for git 

- `git fetch -p`: prune all remote branch that are not trackable anymore 
- `git branch --merged master` list all branch that are merged (should certainly be deleted)