Simple Python github library to push/pull files?

[Chris Angelico]

On Wed, Jan 29, 2020 at 3:38 AM Malcolm Greene <python at bdurham.com> wrote:
>
> Any recommendations on a library providing a simple interface to Github
for basic push/pull type of actions? I know there's a native GitHub RESTful
API but wondering if anyone has placed a friendly Python wrapper on top of
that interface? PyGithub supports a rich set of actions, but doesn't appear
to provide support to push/pull files to/from a repo.
>

Possibly because pulling and pushing aren't GitHub operations, they're
simple git operations. You might be able to find a Python Git library, but
it'd probably be just as easy to subprocess it out directly.

ChrisA