@b0rk Everybody sends me patches on the mailing list, in "git format-patch" format if they want metadata, and when they do a GitHub pull request instead I add ".patch" to the pull request URL and wget it. Then I "git am" it locally.
I believe my repository has one accidental merge in it something like 8 years ago.