4 ms·

Sounds like it would be easy for Github to fix? No? Yes?

• sp332 5y ago
  Maybe, but they've never cared about supporting the Linux kernel team's workflow.
  • deleted 5y ago
    [deleted]
  • bborud 5y ago
    I can't say I know much about the Linux kernel team's workflow, but sensible merge commits would be useful.
• joelbluminator 5y ago
  Does this bother a lot of people? Has anyone ever opened an issue on this? If not I say why bother...Linus is hard to please
• nickelpro 5y ago
  Github already offers several way to incorporate PRs, including squashing and rebasing. It also offers repo admins the ability to _forbid_ maintainers from using the default Github merge. I think that's plenty of work dedicated to fixing this issue.