I absolutely agree! (I’m not stanning for Linus; I have a similar opinion.) GitHub merges have so little info that I may as well just use git to merge.

I guess that’s why I’m confused by GitHub merges in projects.