The "perhaps I could" option in this case is to drop the github mirrors I maintain. Luckily, those projects aren't among those plagued with pull requests they

The "perhaps I could" option in this case is to drop the github mirrors I maintain. Luckily, those projects aren't among those plagued with pull requests they never intended to follow up on (but couldn't avoid because that frickin' button can't be disabled), but that's certainly the solution I'd take. Not sure if anybody is happier with that.