Set a custom user_agent on Github(), as it's now required by api.github