LABELS.md: delete the scope table — the per-repo set lives in labels.conf and the repo's CONTRIBUTING #108

Merged
claude-bot-andresmgsl merged 2 commits from build/104-scope-table-delete into main 2026-07-24 09:48:32 +00:00
Showing only changes of commit 9d1eb81037 - Show all commits

View file

@ -57,8 +57,12 @@ check "PR author is recused from the required panel" 0 "one three" printf '%s\n'
# scope enumeration it carries is true at home and false everywhere else —
# 14 of 16 vendored rows were false across the family when this fired (#104).
# The set lives in labels.conf and the repo's CONTRIBUTING; the mirror never
# names it. grep -c prints the count and exits 1 when that count is 0.
# names it. A concrete label is `scope:` followed by a name character — the
# doctrine spellings (bare `scope:`, wildcard `scope:*`) put a backtick or `*`
# there instead, so any name, current or future, in any shape (table row,
# name|color|description row, prose) re-reds this while doctrine stays green.
# grep -c prints the count and exits 1 when that count is 0.
check "LABELS.md enumerates no repo's scope labels" 1 "0" \
grep -c 'scope:release-flow\|scope:guards\|scope:labels\|scope:docs' "$ROOT/LABELS.md"
grep -c 'scope:[a-z0-9]' "$ROOT/LABELS.md"
summary