<div dir="ltr">Since people have been discussing writing various bots to help automate the workflow, I thought I should let this list know that I have created <a href="https://github.com/brettcannon/gidgethub">https://github.com/brettcannon/gidgethub</a>. Specifically this is a GItHub library that is asynchronous from the bottom-up so there won't be any scaling issues with any bot. It also tries to not be too clever for its own good -- although it does currently pause your requests if you exhaust your API quota -- so that if you want to use some new API from GitHub you don't have to wait for me to update the library.</div>