workspace-add-repo git:20260527.f1b48a4A

Immutable. This exact content is served forever at /api/v1/blob/98819063a0fc3879.

---
name: workspace-add-repo
description: Add repositories to the current progressive polyrepo workspace
---

# Add Repos to Workspace

Use this when you need to work on repos that aren't in the workspace yet.

## Usage

Run from the workspace root:

```bash
pan workspace add-repo <workspace-id> <repo-name> [repo-name...]
pan workspace add-repo <workspace-id> --group <group-name>
```

Examples:

```bash
# Add specific repos
pan workspace add-repo int-123 int-provider-a int-canonical-to-hs

# Add a named group
pan workspace add-repo int-123 --group simphony

# Add all repos
pan workspace add-repo int-123 --group all
```

## How to decide which repos you need

1. Read `repo-map.md` in the meta repo for architecture and repo descriptions
2. Read `repo-groups.yaml` for available groups
3. Add only the repos you need — you can always add more later

## After adding repos

The new repos appear as subdirectories in the workspace with feature branches ready.
Run git commands inside each repo subdirectory.

## Notes

- Meta repos (symlinked) are readonly — do NOT commit changes to them
- Use `--dry-run` first to see what would be added without making changes