Using it
Commit and push
Commit, push and pull from the Files tab.
Commit
In the Files tab, write the commit message in the panel and commit. Commit all changes, or filter by agent and commit one agent's changes as its own commit.
Push and pull
Push shows how many commits are waiting, for example 2 commits to push. Pull appears when GitHub has newer commits.
Put on GitHub
A folder that isn't on GitHub yet gets Put on GitHub. It creates a private (or public) repository on your account and pushes.
Sign in
Sign in to GitHub inside the app. It shows a one-time code and opens GitHub. No Terminal needed.
Ask an agent
Agents can commit and push too, through the Circle tools commit and push. They do it only when you asked. See Circle tools.