Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

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!




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: