chore: more docs attempts

This commit is contained in:
2026-03-08 20:29:45 +13:00
parent 28328cbc0d
commit 0baabd689f
+2 -7
View File
@@ -33,17 +33,12 @@ jobs:
git config --global user.name "Simian CI"
git config --global user.email "ci@simian.local"
# Clean slate: remove any existing wiki/ dir
rm -rf wiki
# Fresh clone of simian.wiki.git
git clone "$WIKI_REPO" wiki
# Overwrite contents with docs/
rsync -av --delete docs/ wiki/
cd wiki
# Ensure main branch (create if empty)
git remote set-url origin "$WIKI_REPO" # Force wiki remote
git checkout main 2>/dev/null || git checkout -b main
git add -A
if git diff --staged --quiet; then
@@ -51,4 +46,4 @@ jobs:
else
git commit -m "Update wiki from docs (CI) [skip ci]"
git push origin main
fi
fi