GitHub repository: ooi-data/PyGithub
Description: Typed interactions with the GitHub API v3