Task 1.1: Transfer repo ajianaz/cora-cli to codecoradev/cora-cli

[ajianaz]

Task: Repo Transfer

Transfer the cora-cli repository from personal account to the codecoradev organization.

Steps

• Verify codecoradev org exists and current user has admin access
• Go to repo Settings → Transfer ownership → codecoradev
• Confirm transfer (GitHub handles redirect)
• Verify: gh api /repos/codecoradev/cora-cli returns valid response
• Update local remote: git remote set-url origin https://github.com/codecoradev/cora-cli.git
• Verify CI triggers on push to develop on new repo

Risks

• CI secrets (CRATES_IO_TOKEN, INFISICAL_IDENTITY_ID, etc.) do NOT transfer — must re-add
• GitHub App (apps/code-cora) webhook may need repo re-authorization

Verification

gh api /repos/codecoradev/cora-cli --jq '{name, full_name, private, default_branch}'
gh run list --repo codecoradev/cora-cli --limit 1

Depends On

• None

Part Of

• Epic: CodeCora V2 Migration — TypeScript V1 to Rust V2 Open Core #118 (Epic), Phase 1: Foundation — Repo transfer, branding, CI updates #119 (Phase 1)

[ajianaz]

Completed in PR #137 (repo transfer + URL migration + Infisical removal + CI verification)