Hacker News Reader

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

View on HN

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!

Reply on news.ycombinator.com