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.
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.
I fully agree… Unfortunately sometimes it is not possible to have commandline merges, because that would mean that someone has push access… But for some projects that’s not possible, especially if two parties work on the same Project and some form of automation is in place (for example Bors/ a merge bot).