sometimes people have a strong vision for the code they maintain. in those cases they'll usually more happily accept issues, rather than code. but GitHub doesn't let you turn off prs...

It's hard to know without looking at the datails, but in this case it would have been nice to add in the commit

> Thanks to @whoever for reporting the bug and providing a fix prototype.

(Probably prototype is not the correct word, but something like that.)