True, though there are two parts to that - 1) easy web-based patch submission workflow, and 2) everyone is already on github (and to a lesser extent gitlab). #

True, though there are two parts to that - 1) easy web-based patch submission workflow, and 2) everyone is already on github (and to a lesser extent gitlab). #1 is easily solvable in SourceHut by hacking up mod that adds web-based workflow. It's designed for that modifying. #2 is less easily solved, but may not need to be, since it also serves as a something of a quality filter. Apparently Linus gets all manner of inane of pull requests to his github repo, so moving it to Source Hut might cut down on that a little bit.