6 comments

[ 4.4 ms ] story [ 22.6 ms ] thread
This isn't supposed to happen, the repo is a read-only mirror. Very weird. Anyone know what's going on?

edit: maybe an april fools thing?

I don't know what's going on with the GitHub pull request but I'm guessing Linus didn't actually merged it using GitHub but rather as part of [0] and GitHub noticed the commit got merged and automatically closed the PR.

[0] https://lore.kernel.org/all/20240331102711.GAZgk6f8mOWJiFN8p...

I don't think Linus can merge from GitHub. Linux requires DCO and it to be reviewed by 2 people (or maybe this is outdated now?)
(comment deleted)