Post-merge cleanup of #30: the campaign scaffolding script merged under its .tmp- name. Renamed to scripts/kb-coverage.py, documented on okf-maintenance.md in a new Automated Gates section (the bundle documented neither gate before). Gates green: kb-lint 0, kb-coverage 0, kb-lint.bats green.
Post-merge cleanup of #30: the campaign scaffolding script merged under its .tmp- name. Renamed to `scripts/kb-coverage.py`, documented on `okf-maintenance.md` in a new Automated Gates section (the bundle documented neither gate before). Gates green: kb-lint 0, kb-coverage 0, kb-lint.bats green.
Refs #29
---
cwd: /home/blank/.omp/wt/wt-20261019-011132-7c8a99d (build checkout: ~/.omp/wt/chore-coverage-tooling) · session: wt-20261019-011132-7c8a99d
PR #30 merged the throwaway checker under its .tmp- name. Promoted to
scripts/kb-coverage.py and documented on okf-maintenance.md § Automated
Gates alongside kb-lint (the bundle previously documented neither gate).
Self-tested: kb-coverage.py reports 0 issues on the current bundle.
Refs #29
Blocking a user prevents them from interacting with repositories, such as opening or commenting on pull requests or issues. Learn more about blocking a user.
Post-merge cleanup of #30: the campaign scaffolding script merged under its .tmp- name. Renamed to
scripts/kb-coverage.py, documented onokf-maintenance.mdin a new Automated Gates section (the bundle documented neither gate before). Gates green: kb-lint 0, kb-coverage 0, kb-lint.bats green.Refs #29
cwd: /home/blank/.omp/wt/wt-20261019-011132-7c8a99d (build checkout: ~/.omp/wt/chore-coverage-tooling) · session: wt-20261019-011132-7c8a99d