Skip to content

chore: drop rendered docs/ - #112

Merged
cherusk merged 1 commit into
mainfrom
chore/drop-rendered-docs
Sep 3, 2026
Merged

chore: drop rendered docs/#112
cherusk merged 1 commit into
mainfrom
chore/drop-rendered-docs

Conversation

@godon-robot

@godon-robot godon-robot Bot commented Sep 3, 2026

Copy link
Copy Markdown
Contributor

Pages serves from the pages workflow artifact (build_type: workflow, first deploy landed and verified live). The committed render directory is dead weight: per-render churn of ~35 files, stale-image traps, hash noise, root-owned output incidents. robots.txt: crawlers read only the host-root file in godon-dev.github.io (RFC 9309); the project-level copy dies with this directory and discovery is unaffected.

After merge: no more render commits. Source-only diffs. CI renders.

Merge: rebase-merge.

Rendered artifacts no longer belong in the repo: the pages workflow
builds from material/ and deploys the site artifact on every push to
main. Local full renders go to gitignored ./site via docker compose.

Co-authored-by: cherusk <10729954+cherusk@users.noreply.github.com>
@cherusk
cherusk merged commit 724f305 into main Sep 3, 2026
2 checks passed
@cherusk
cherusk deleted the chore/drop-rendered-docs branch September 3, 2026 19:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant