Hector Martin on Nostr: TIL that some people are playing GitHub race games to [make it seem like Linus ...

TIL that some people are playing GitHub race games to [make it seem like Linus Torvalds merged their GitHub PR](https://github.com/torvalds/linux/pull/832 ).

Cute trick, but no, Linus doesn't actually ever merge anything via GitHub. Explanation [here](https://github.com/torvalds/linux/pull/832#issuecomment-2193883290 ).