git branch -a shows both remote and local branches. git branch -r shows remote branches. Is there a way to list just the local branches?