Compare commits

..

No commits in common. "e33f4653f1758c9fab8ad70b526178869fcdd850" and "efc86e11a4a4073efc51345370ee14a7941139d9" have entirely different histories.

View file

@ -57,8 +57,8 @@ private: false
## Private Synthesis (`wiki/private/`) ## Private Synthesis (`wiki/private/`)
_Restricted access. Requires `PRIVATE_CONTEXT: enabled` and unlocked repo._ *Restricted access. Requires PRIVATE_CONTEXT: enabled and unlocked repo.*
_List slug names ONLY. Do not append summaries — prevents metadata leakage._ *List slug names ONLY. Do not append summaries — prevents metadata leakage.*
EOF EOF
cat > "${g}/wiki/log.md" <<'EOF' cat > "${g}/wiki/log.md" <<'EOF'
@ -88,17 +88,16 @@ EOF
git init -q git init -q
# Hermetic: ignore the user's global git config (signing, global hooks); # Hermetic: ignore the user's global git config (signing, global hooks);
# otherwise commit.gpgsign or a global core.hooksPath makes git commit fail here. # otherwise commit.gpgsign or a global core.hooksPath makes git commit fail here.
git config --local user.name "Framework Test" git config commit.gpgsign false
git config --local user.email "test@genome.local" git config core.hooksPath "${base}/nohooks"
git config --local commit.gpgsign false git config user.email t@t
git config --local core.hooksPath "${base}/nohooks" git config user.name tester
git add .
git commit -qm init
git branch -M main git branch -M main
git remote add origin "${base}/origin.git" git remote add origin "${base}/origin.git"
git add .
git commit -q -m "chore: initial scaffold"
git push -q -u origin main git push -q -u origin main
) ) >/dev/null
echo "${g}" echo "${g}"
} }