Auto-close GitHub pull requests

Stop chasing old pull requests and get them marked as stale then kicked to oblivion when there's no activity