Most times you don’t, though. If I open a pull request on GitHub, the name of the branch is completely incidental. I already have textual descriptions for ever

Most times you don’t, though. If I open a pull request on GitHub, the name of the branch is completely incidental. I already have textual descriptions for every commit. The pull request gets a title and a description. The branch name is there, but if it wasn’t (or if it was nonsense) don’t think anybody would notice. Once the branch is merged the branch name is lost to git. It might be recorded in the merge commit description but at that point it’s flavor text and not actually a pointer within git. I have also fully converted to jj and yeah, it really does make you realize that branch names are often pointless for short-lived work in PR-based workflows.