Fix minor bug in prompt git branch naming