Linus Torvalds gillar inte Github
Git comes with a nice pull-request generation module, but github
instead decided to replace it with their own totally inferior version.
As a result, I consider github useless for these kinds of things. It’s
fine for *hosting*, but the pull requests and the online commit
editing, are just pure garbage.
I’ve told github people about my concerns, they didn’t think they
mattered, so I gave up. Feel free to make a bugreport to github.