Rewrite mr.roboto with gidgethub?

[gforcada]

The python bots around github are written on top of https://gidgethub.readthedocs.io/en/latest/ which looks quite fancy and to the point. Could it be a good idea to rewrite mr.roboto with that?

[gforcada]

I was about to close it, but given the last feature that involved a few new API calls to GitHub, I'm wondering if it would actually make sense to do it.

pygithub is certainly not under active development, and while gidgethub might as well not be either, at least, their approach on how to interact with GitHub REST API makes it far more resilient, as in that you don't have to wait for a new release of gidgethub to use a new/modified REST endpoint.