Post #1610456

@bagder @pollita On the other hand, GitHub has allowed me to disable every other tab on a project but the Code and PR tabs for a long time. It seems fair to extend that to PRs. I don't mind having my code mirrored on GitHub, but seeing as I haven't logged on in half a year or so, disabling PRs and providing a way to contact me that doesn't end up in the void seems like the fair thing to do. (Not that I maintain any project of note at the moment)