Modify Branch Name

[thomaswitt]

I would like to dynamically change the branch name, e.g. if it's too long or confirms has a certain condition. e.g. I am using gitbutler, and I get "gitbutler/workspace" as my branch name, which I would like to shorten to GB.

It seems to me that there's no official API to modify the branch name. I can only use GIT_PROMPT_BRANCH to do a prefix, but that's it. A possibility to provide a function to dynymically modify / shorten the branch name would be highly appreciated.