igneum-network/igneum
1
0
Fork 0
Code Issues Pull requests Releases Activity

Merge scrub-3 bd5e272a into master (gate: green on bd5e272a, recorded by tools/ci/pre-push.sh; landed on the box mirror under the exception declared by main: main's ruling, 7 Oct 2026 19:5x UK: the GitHub account is suspended, lanes land on the box mirror's master, the box gate stamp is the verdict; GitHub gets the fast-forward when it answers)

Browse source
This commit is contained in:
igneum-labs 2026-10-07 22:01:54 +01:00
commit e2e7130cf5
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
tools/repo/fresh-repo.sh
View file

@ -263,7 +263,8 @@ say " gh repo create $NEW_REPO --private --description 'Igneum: the GPU-mined z
say " # 3. push every rewritten ref from the clone (the pass removed its origin remote on purpose)"
say " cd $CLONE"
say " git remote add origin https://github.com/$NEW_REPO.git"
say " git push --mirror origin"
say " git push origin master # master FIRST: a mirror push into an empty Forgejo repository makes its first ref the default branch (adv-accept, 7 Oct 2026, 21:54 UK)
git push --mirror origin"
say " # 4. after the push, on GitHub: default branch master; Settings > Secrets: DL_TOKEN, DL_TOKEN_NEXT, LOG_INTAKE_KEY,"
say " # LOG_INTAKE_KEY_NEXT (tr -d '[:space:]' < ~/.config/igneum/<file> | gh secret set <NAME> --repo $NEW_REPO);"
say " # Vercel project igneum (team igneum): Git > disconnect $ORG/igneum, connect $NEW_REPO, production branch master;"