Skip to content

Stop tracking the coverage database (CH-7) - #312

Merged
jothimani-rajendran merged 2 commits into
mainfrom
ch-7-untrack-coverage
Oct 19, 2026
Merged

jothimani-rajendran merged 2 commits into
mainfrom
ch-7-untrack-coverage

Conversation

@jothimani-rajendran

@jothimani-rajendran jothimani-rajendran commented Oct 19, 2026 •

Copy link
Copy Markdown
Collaborator

What

.coverage (a coverage.py SQLite file) was tracked at main. Every test run rewrites it, so contributors saw a modified binary in git status, and git add -A could commit a new one. Nothing reads it from the repo.

This PR runs git rm --cached .coverage and adds .coverage and .coverage.* to .gitignore. Nothing else changes. Plan item: CH-7 (plan/prerelease-fixes.md, org-plan).

Definition of done

  • chock check → unmeasured (chock CLI not installed in this session; no Python code changed)
  • chock check --only matrix → unmeasured (no behavior change)
  • chock sync --repo . --check → unmeasured (chock sync not run: it rewrites owner-only hook config and compiled policy copies)
  • chock check --only verify → unmeasured
  • Registry rescanned → n/a (no policy or manifest changed)
  • pytest -q → unmeasured (no code changed)
  • pytest acceptance/ ... → n/a (no packaging, init, add or hook change)
  • Existing artifacts migrated → n/a (no check added or extended)
  • Touched manifests: version bump + changelog fragment → n/a (no manifest touched)
  • ruff check . and ruff format --check . → unmeasured (no Python changed)

Claims

  • No surface is described as enforcing more than it installs. This PR changes no emitted or installed surface.

Verified by reading: git ls-files .coverage prints nothing on the PR head, and git check-ignore matches .coverage and .coverage.1234.

.coverage is a coverage.py SQLite file. A test run rewrites it, so every
contributor saw a modified binary in git status, and a careless `git add -A`
committed a new one. Nothing reads it from the repo.

Untrack it with `git rm --cached` and ignore `.coverage` and `.coverage.*`.

Co-Authored-By: Claude <noreply@anthropic.com>
Signed-off-by: Jothi Mani Rajendran <250249270+jothimani-rajendran@users.noreply.github.com>
@jothimani-rajendran
jothimani-rajendran marked this pull request as ready for review October 19, 2026 21:12
@jothimani-rajendran
jothimani-rajendran merged commit 55e9ccf into main Oct 19, 2026
26 checks passed
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