github-cli Command line interface for github that wraps common git operations Research Getting PR Info pygithub