joeyh

joeyh at

One idea we had was a cron job that uses the github API to close all pull requests with a comment pointing to the correct way to submit issues.