Repositories

Listing repos

/repo

Shows all repositories in the shared repos/ directory, with a checkmark next to your active one. Click any name to switch to that repo and start a session.

Cloning a new repo

/repo clone <url>

Clones the repository into the shared repos/ directory. If the repo already exists, the clone is skipped and the existing one is used.

Optionally provide a custom name:

/repo clone https://github.com/user/repo.git my-custom-name

Cloning via button

From the /repo list, click Clone a repo and send the git URL as your next message.

Switching repos

/repo switch <name>

Ends the current session (if any) and switches to the named repo. The repo must already exist in the shared directory.

How repos are stored

repos/
  <repo-name>/
    .git/
    ...files...

sessions/<chat_id>/
  .active_repo     ← tracks which shared repo this user is using

Repos are stored centrally in the repos/ directory (configured via REPOS_DIR). Each repo is a full git clone shared across all users. User-specific state (which repo is active) is tracked in sessions/<chat_id>/.active_repo.