Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
x/build/devapp: show GitHub usernames for CLs from PRs #25447
We also have issue #23964, which is the root problem. When/if that is resolved, this issue will be obsolete.
If that issue is lot of work and takes a long while, while this one is quick and easy, it might be worth it to solve it with a