zachriggle··on Manage GitHub pull requests from the command lineHow do you have your prompt (PS1) set up?