Task 1.3: Re-add CI secrets on codecoradev/cora-cli after repo transfer

[ajianaz]

Task: Re-add CI Secrets After Transfer

GitHub repo transfer does NOT migrate secrets. All CI secrets must be manually re-added on the new org repo.

Required Secrets

• CRATES_IO_TOKEN — for cargo publish in release workflow
• INFISICAL_IDENTITY_ID — for Infisical OIDC secret fetching
• Any other secrets used in workflows (check .github/workflows/*.yml)

Steps

1. Go to codecoradev/cora-cli → Settings → Secrets and variables → Actions
2. Add each secret from the old repo (values available in old repo settings or 1Password/Infisical)
3. Verify: push to develop → CI passes (especially release-related steps)

Verification

gh secret list --repo codecoradev/cora-cli
# Should show all required secrets

Depends On

• Task 1.1: Transfer repo ajianaz/cora-cli to codecoradev/cora-cli #122 (repo must be transferred first)

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)