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

fresh-repo.sh: master is pushed before the mirror push (Forgejo makes the first ref into an empty repository the default branch; it became adv-accept at 21:54 UK on 7 October 2026)

Browse source 
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
This commit is contained in:
igneum-labs 2026-10-07 20:55:53 +00:00
parent 3e8e64effd
commit 0cdf15b17a
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;"