# Repo Split Publish Runbook

Use this runbook after valid Gitea credentials are available (PAT or git credential-helper username/password).

## Local Seed Repos (already initialized)

1. `launcher` at `/Users/vsg/Documents/VSG Codex/launcher` (commit `ac871d7`)
2. `governance` at `/Users/vsg/Documents/VSG Codex/governance` (commit `80eaca7`)
3. `contracts` at `/Users/vsg/Documents/VSG Codex/contracts` (commit `dbac2f0`)

## Create Remote Repos

1. Create `edut/launcher` (private)
2. Create `edut/governance` (private)
3. Create `edut/contracts` (private or public per policy)

Example (replace `<TOKEN>`):

```bash
curl -fsSL -H "Authorization: token <TOKEN>" -H "Content-Type: application/json" \
  -X POST "https://git.edut.dev/api/v1/orgs/edut/repos" \
  -d '{"name":"launcher","private":true,"description":"EDUT free launcher shell and wallet onboarding app"}'
```

Repeat for `governance` and `contracts`.

Or run the helper with PAT:

```bash
cd "/Users/vsg/Documents/VSG Codex/web"
./scripts/publish_split_repos.sh <gitea_pat>
```

Or run it without arguments to use git credential helper auth for `git.edut.dev`:

```bash
cd "/Users/vsg/Documents/VSG Codex/web"
./scripts/publish_split_repos.sh
```

## Push Local Seed Repos

```bash
cd "/Users/vsg/Documents/VSG Codex/launcher"
git remote add origin https://git.edut.dev/edut/launcher.git
git push -u origin main

cd "/Users/vsg/Documents/VSG Codex/governance"
git remote add origin https://git.edut.dev/edut/governance.git
git push -u origin main

cd "/Users/vsg/Documents/VSG Codex/contracts"
git remote add origin https://git.edut.dev/edut/contracts.git
git push -u origin main
```

## Post-Publish Validation

1. Verify each repo has expected initial commit.
2. Verify repo visibility policy (public/private) matches boundary blueprint.
3. Add cross-repo links in each README.
4. Lock branch protections and required-review settings.

## Current Status

Remote repos exist on `git.edut.dev` and this runbook remains the deterministic recovery path.