Skip to content

Commit f3ed706

Browse files
committed
revert: leave lint.yml's census-gate comment as it was
It is historical prose no gate reads, and a workflow-touching diff is a named reason a PR cannot enter the merge queue. The comment's "82 rows" stays as a reading taken when that gate landed; noted in the PR's acceptance notes. Co-authored-by: Claude <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01Rjy9MeetSfq34PKn81CRiN
1 parent 3b8a66d commit f3ed706

1 file changed

Lines changed: 2 additions & 3 deletions

File tree

‎.github/workflows/lint.yml‎

Lines changed: 2 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -3586,9 +3586,8 @@ jobs:
35863586
# exited 0; it was caught only because an unrelated gate happened to redden.
35873587
# The file's own package suite is domain-level ("every registered dispatcher
35883588
# domain has at least one ledger entry"), which a shorter list satisfies, and
3589-
# the cross-ledger guards compare against a UNION that held 26 of the then
3590-
# 82 rows' wire patterns from other ledgers when this gate landed (the
3591-
# dated reading is in the script's header). This gate holds the GENERATED
3589+
# the cross-ledger guards compare against a UNION that still holds 26 of the
3590+
# 82 rows' wire patterns from other ledgers. This gate holds the GENERATED
35923591
# census sentence above the array to the array's real length, so a deletion
35933592
# reds and a deliberate change shows its digits moving in the same diff.
35943593
# Full-repo state, not diff-shaped, so it runs its real check unconditionally.

0 commit comments

Comments
 (0)