4 ms·
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 not
by frankjr 3y ago
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.GAZgk6f8mOWJiFN8pR@fat_crate.local https://lore.kernel.org/all/20240331102711.GAZgk6f8mOWJiFN8p...
- remram 3y agoAlmost certainly what happened, the merge commit looks nothing like what you could make from GitHub (merging a tag). https://github.com/torvalds/linux/commit/8d7e76846521440255a15180c6a7a170654fbb5a https://github.com/torvalds/linux/commit/8d7e76846521440255a...
- peter_l_downs 3y agoAh, that makes sense. Thanks!