Skip to main content
Manage the GitHub integration. Connect the Aether GitHub App, import a repository into a project, push workspace changes back, and inspect the linked repo. Linking a repo to a project happens through import (a set-once binding); link only shows what is already linked. Alias: gh

Usage

Subcommands

aether github connect

Prints the Aether GitHub App installation URL, attempts to open it in your browser, then polls until the installation is connected (up to 5 minutes). The URL is always printed, including in a non-TTY shell.

aether github status

Show whether GitHub is connected and list each installation.
If no installation is connected, the command prints GitHub: not connected and points you to aether github connect.

aether github repos

List repositories accessible through a GitHub App installation.
Run aether github status to find your installation IDs. The output lists REPO, PRIVATE, DEFAULT BRANCH, and UPDATED; when more results exist the command tells you which --page to request next.

aether github import

Import a GitHub repository into a project. This is the set-once repo binding for the project — see GitHub integration.
Omit --repo to choose a repository from a picker. The picker needs --installation-id so it can list that installation’s repos:

aether github export

Commit and push a workspace’s changes to the linked repository.
If the remote has changes your project doesn’t (a 409 non-fast-forward), the command stops and offers to force push. Pass --force to skip that prompt.
Show the repository currently linked to a project. This command is read-only — it does not select or change the link. Link a repo with aether github import.

aether github git-status

Show the git repository and branch status for a workspace.

aether github tree

Fetch the linked repository’s git tree at a ref. The output lists each entry’s TYPE, PATH, and SHA.

aether github disconnect

Disconnect GitHub. This removes all installations and repo links for your account.

See also