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...

Almost certainly what happened, the merge commit looks nothing like what you could make from GitHub (merging a tag).

https://github.com/torvalds/linux/commit/8d7e76846521440255a...

Ah, that makes sense. Thanks!

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?)

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?