Conversation
13 files, generated by zensical from ruff/docs/, ignored by .gitignore:1.
|
Sorry I was mass-closing PRs! |
|
No worries about the mass-close — thanks for catching it and reopening. I re-checked this against the current The case also still holds on today's Nothing else needed from my side; it can land whenever it suits you. |
What
ruff/site/is the zensical build output ofruff/docs/, and it is committed to therepository: 13 files, 513,202 bytes (
git ls-files -- '*/site/*';sizes are the blob sizes, as
git cat-file -sreports them).ruff/site/objects.invis 0 bytes. The repository's own ignore rules already say this pathshould not be tracked:
.gitignoreignoressiteat line 1, and/siteagain at line 158.uv/.gitignore:5repeats/sitefor that module;ruff/.gitignorehas nositerule at all(
/.venv,/**/__pycache__,/sdk,/.env), which is how this slipped through.uv/site/anddeptry/site/are not tracked, which is the intent everywhere else.It is not the published site
Pages for this repository is
build_type: workflow(served at https://daggerverse.docs.typesafe.ai/),so nothing is published from a checked-in directory. The Dagger module builds each site inside
a container (
_zensical_site,.dagger/src/typesafe_daggerverse/main.py:124-137) anddocs_buildassembles./publicfrom those container outputs;.github/workflows/deploy-docs.ymluploads./public, notruff/site/. Neither that modulenor that workflow reads the committed path.
More directly: a code search for the literal
ruff/siteacross this repository returnstotal_count: 0— nothing in the tree references it.It is already stale
The committed
ruff/site/search.jsonhas six items and no entry forWhere to go next, which isa section of the source file it was built from (
ruff/docs/index.md:51). So the tracked copy nolonger describes the documentation that sits next to it in the same commit.
That is the real cost: a reader who opens
ruff/site/index.htmlin the repository seesdocumentation that does not match
ruff/docs/, and it can only mislead.Change
$ git rm -r --cached ruff/siteand
/siteappended toruff/.gitignore, for parity withuv/.gitignore. The root.gitignorealready covers it, so the deletion alone is enough to stop tracking; the extra line keeps the file
from coming back via
git add -fhabits and mirrors the sibling module.Files are removed from the index only — this does not delete anything from an existing working
tree, and no build, test or workflow reads the path.
Verification
main@b0e9d0ca81328d3c91a08ab8c7a0e8963c2fa7ae.git check-ignore -v --no-indexoutput above is quoted from the repository's own rules.build_type: workflow).If
ruff/site/is deliberately tracked for a reason I have missed, close this and I will drop it —but the ignore rules and the Pages setup both point the other way.