MIL-002 Repositories and Mirror

New Issue

Decide whether the script creates the Gitea repository and, if GitHub is chosen, the GitHub repository under the correct owners, and configures the Gitea to GitHub push mirror reliably, including when something fails halfway.

2026-10-30

0% Completed

Document token permissions and API limitations

#14

opened 2026-10-05 07:48:19 +02:00 by Tirsvad

Partial-failure reporting and resume

#13

opened 2026-10-05 07:48:17 +02:00 by Tirsvad

Configure the Gitea to GitHub push mirror (when GitHub is chosen)

#12

opened 2026-10-05 07:48:15 +02:00 by Tirsvad

Create the Gitea repository, with AGPL license when GitHub is chosen

#11

opened 2026-10-05 07:48:13 +02:00 by Tirsvad

Create the empty GitHub repository (optional)

#10

opened 2026-10-05 07:48:11 +02:00 by Tirsvad

Preflight checks before any creation

opened 2026-10-05 07:48:09 +02:00 by Tirsvad