| Thanks for reporting the issue: it doesn't exactly classify as a bug IMHO. However, yes, the branch name is quite misleading. With regards to the fact that the Gerrit change-id is an internal implementation of the branch, yes I agree. However, GitHub PRs are displayed with the PR number, which is also an internal implementation of the branch. What I could drop is the initial prefix, which is only a namespace partitioning done by Gerrit to allow a faster execution. Last but not least, the path number suffix. That one is REALLY NEEDED because it represents what you've build. If I want to retrigger a build of a patch-set, I need that information because I want to be sure of what I am building. Gerrit changes are very different from GitHub PRs from that point of view. Sorin Sbarnea what do you think? |