Clone & push

The repo is served over git's smart-HTTP protocol, auth-gated by a bearer token. This is the git-native write path, no bespoke API touches the repo.

# clone (token as the basic-auth password, username ignored)
git clone https://x-access-token:<TOKEN>@git-wiki-proof.boolab-brain-boo.boolab.io/git/wiki.git

# edit on a branch
cd wiki.git
git checkout -b edit/my-change
$EDITOR pages/my-page.md
git add -A && git commit -m "add my-page"
git push origin edit/my-change      # branch just sits, no CI

# merge to main = the "CI" (reindex) fires via the post-receive hook
git checkout main && git merge --no-ff edit/my-change && git push origin main

unauthenticated clone/push gets a 401. token is set via the WIKI_GIT_TOKEN env var.

full sha: e6b4d06d351b855c3406ac7df1da129537981aec · index built at e6b4d06d351b855c3406ac7df1da129537981aec · 4 pages · branches: edit/agent-adds-glossary, main