GitHub repository: Devocean8-Official/PyGithub
Description: Typed interactions with the GitHub API v3