Create the local project directory and credential-free remotes #15

Open
opened 2026-10-05 07:48:23 +02:00 by Tirsvad · 0 comments
Owner

After consent, create the directory (refuse to reuse an existing one without a yes), run git init on main, and add origin (Gitea) and, only if GitHub was chosen, github using URLs derived from the configured base URLs and the selected owners, with no token in any URL. origin uses HTTPS derived from GITEA_URL, unless the SSH test from the preflight passed, in which case it uses SSH on port 10022. When the Gitea repository is not empty (GitHub chosen, AGPL license), fetch it and check out its default branch so the local history starts from the license commit. Do not make a commit.

Phase: MIL-003
Reference: [UC-001]

After consent, create the directory (refuse to reuse an existing one without a yes), run `git init` on `main`, and add `origin` (Gitea) and, only if GitHub was chosen, `github` using URLs derived from the configured base URLs and the selected owners, with no token in any URL. `origin` uses HTTPS derived from `GITEA_URL`, unless the SSH test from the preflight passed, in which case it uses SSH on port 10022. When the Gitea repository is not empty (GitHub chosen, AGPL license), fetch it and check out its default branch so the local history starts from the license commit. Do not make a commit. Phase: MIL-003 Reference: [UC-001]
Tirsvad added this to the MIL-003 Scaffold and Release milestone 2026-10-05 07:48:23 +02:00
Sign in to join this conversation.