Modifying multiple files via the GitHub API and github3.py.