You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Update repository-facing documentation so contributors and maintainers see GitHub Actions and GitHub Pages as the docs CI/deployment workflow, with no stale GitLab CI guidance.
Self-contained context: This repository is being converted from GitLab CI/Pages to GitHub Actions/Pages. The docs site is built from docs/ with Zensical, requirements-docs.txt, zensical.toml, and scripts/build-docs.sh. The first issue should establish the exact workflow file names and deployment path. Backward compatibility is not required.
In scope: update README.md and any other user-facing repository docs that mention GitLab CI or the docs deployment path; document the canonical local build/preview flow and the GitHub Pages deployment behavior.
Non-goals: changing workflow logic, changing Zensical content model, or live Pages verification.
Backward compatibility: do not preserve old GitLab instructions.
Sequencing: second implementation issue; runs after workflow conversion so documentation can reference real workflow names.
Implementation Notes
Search for GitLab, .gitlab-ci.yml, GitHub Pages, GitHub Actions, and deployment references. Keep docs concise and aligned with existing README tone. The repository-level AGENTS.md instructions for static site development should remain valid.
Acceptance Criteria
No stale documentation presents GitLab CI as the active docs build or deployment mechanism.
Objective
Update repository-facing documentation so contributors and maintainers see GitHub Actions and GitHub Pages as the docs CI/deployment workflow, with no stale GitLab CI guidance.
Context
docs/with Zensical,requirements-docs.txt,zensical.toml, andscripts/build-docs.sh. The first issue should establish the exact workflow file names and deployment path. Backward compatibility is not required.Scope
README.mdand any other user-facing repository docs that mention GitLab CI or the docs deployment path; document the canonical local build/preview flow and the GitHub Pages deployment behavior.Implementation Notes
Search for
GitLab,.gitlab-ci.yml,GitHub Pages,GitHub Actions, and deployment references. Keep docs concise and aligned with existing README tone. The repository-levelAGENTS.mdinstructions for static site development should remain valid.Acceptance Criteria
Required Validation
rg -n "gitlab|GitLab|\.gitlab-ci|gitlab\.io" README.md docs zensical.toml scripts .githubreturns no stale migration references, except intentional historical context if clearly marked.python3 scripts/render-dev-notes.pyexits 0.python3 -m py_compile scripts/render-dev-notes.pyexits 0.scripts/build-docs.shexits 0.PR Expectations
Include validation commands/results and identify all files with user-facing workflow guidance changes.