Quick TipWritten on

Refresh local list of remote branches in git

Because I always forget how to do this:

git remote update origin --prune