I closed all three PRs without comment.

Maybe this was unreasonable, but truthfully, I’m just not interested in encouraging people to take up our time with this kind of busywork.

Not only reasonable, but necessary to recovery for the Github system.

The other, complementary, systemic piece will come when Github materializes the cause of the rejections as reputational damage to the PR-spammer.