julia

84770f8e - Use porcelain `git` commands to get branch name

Use porcelain `git` commands to get branch name By using `git branch`, we sometimes capture terminal color codes, which is suboptimal. Use porcelain commands instead, that's what they're there for.