I like using GitHub, as do apparently a lot of other people. When doing pull requests, I’ve been annoyed for a long time by the amount of clicking necessary to get the git URL to the contributor’s repository (which must be added as a remote, etc.):
But, GitHub is about using git, so why should I have to go fishing to get the git link? Earlier in the Pull Request UI, there was a help box that contained the git url (which I used), but then they took it away! So fishing it was. This might seem very minor, but after adding many dozens of remotes like that the annoyance had accumulated. It seemed obvious to me that the branch names should just be links:
Each time GitHub tweaked the UI, I complained on Twitter, like so:
Finally, someone noticed:
Small victories, I guess. Enjoy.