Shorten long git branch names in the prompt