Committing changes
github_commit_files
Commits the current state of the repo's local sandbox clone to GitHub. Files are edited in the sandbox first, with the normal file-editing tools, then this pushes them. It never commits directly to the repo's default branch: the first call in a conversation creates a new working branch automatically, and every call after that commits to that same branch.