Repository navigation
deploy(pages): sync docs-site/ to gh-pages on main push (#243) - #244
Conversation
Add a workflow that deploys docs-site/ to the gh-pages branch root on every push to main touching docs-site/**, plus workflow_dispatch. Mirrors the existing peaceiris/actions-gh-pages pattern from publish-fdroid.yml (checkout@v6, contents: write). keep_files: true is required: gh-pages also hosts the live F-Droid repo under fdroid/repo/ and .nojekyll; a sync without it would wipe them.
The push paths filter (docs-site/**) meant merging this PR would not trigger a deploy — the merge changes only the workflow file. Adding the workflow path makes the merge deploy the first sync, publishing llms.txt / llms-full.txt from #242.
|
Stage 4 verdict: PASS on head 07d20b7. Two independent review passes (compliance + bug), both PASS on the reviewed head. Compliance: all 7 acceptance criteria verified against live API evidence — keep_files: true present with fdroid/repo/ (13 entries) and .nojekyll confirmed on gh-pages; trigger push to main on docs-site/** plus workflow_dispatch; actions/checkout@v6 matching the existing pattern; publish_dir ./docs-site real (25 entries incl. index.html, llms.txt, robots.txt, sitemap.xml); matches publish-fdroid.yml (same peaceiris/actions-gh-pages@v4, keep_files, permissions); test delta 0/0, no unit/mock test; no app code, applicationId, or dependency touched (1 file, +31/-0). Bug: one validated finding on the first head 419a161 (F1) — the merge itself would not trigger a deploy, because the paths filter matched only docs-site/** and the PR changed only the workflow file, so llms.txt / llms-full.txt from #242 would have stayed unpublished. Fixed in commit 07d20b7 (+5 lines: the workflow file itself added to the paths filter, with an explanatory comment). Re-review verified the fix closes F1: the merge commit changes the workflow file, which now matches the filter, so the merge runs the first sync. No new defect introduced; earlier passing checks re-confirmed on the new head (publish_dir, keep_files protection, no conflicting deploy path, action versions real, permissions sufficient). Filed notes (not fails): actions/checkout@v6 is one major behind v7 but matches the repo pin; keep_files means deletions from docs-site/ linger on gh-pages (orphaned privacy/ already visible there — one-time cleanup candidate, not this PR); no concurrency group on the job, same as publish-fdroid.yml. Next: merge on CI green, then the merge itself triggers the first deploy; live verification of the site follows. |
Ships the merged backlog fixes: keyboard (#194/#156), phantom voice alert (#197), auto-scroll (#155), SSE startup + recovery (#189/#186), subagent sessions UI (#187), plus docs-site deploy (#244). Version 0.4.18, versionCode 45. Gates: check:versions aligned, typecheck clean, full suite 429 pass / 0 fail.
Syncs docs-site/ (corrected landing page, llms.txt, robots allowlist, sitemap from #242) to the gh-pages branch root on every main push touching docs-site/**, plus manual dispatch. Uses the repo's existing peaceiris pattern with keep_files: true — the gh-pages branch also hosts the live F-Droid repo under fdroid/repo/ and .nojekyll. Closes #243.