What is Nostr?
Hector Martin /
npub1qk9…azpx
2024-06-27 08:19:09
in reply to nevent1q…w5z6

Hector Martin on Nostr: That will close it but not as merged, IIRC. It also doesn't make sense if the commits ...

That will close it but not as merged, IIRC. It also doesn't make sense if the commits aren't tied to the PR themselves. Like if someone sends me some commits via PR and I rebase/cherry pick them manually, it would be weird to edit the commit messages.

Doubly so because commits on our kernel repo are intended for mainline later and mainline submissions wouldn't appreciate spurious GitHub PR references.
Author Public Key
npub1qk9x6yrvten3jqyvundn7exggm90fxf9yfarj5eaz25yd7aty8hqe9azpx