Skip to content

MIP-0086: ruleset-sync: every manifest in .github/rulesets/ - #114

Merged
brunogbv merged 3 commits into
mainfrom
mip-0086/ci-rule
Oct 14, 2026
Merged

brunogbv merged 3 commits into
mainfrom
mip-0086/ci-rule

Conversation

@brunogbv

Copy link
Copy Markdown
Collaborator
  • ruleset-sync: every manifest in .github/rulesets/, and ci-rule
  • Describe main-rule and ci-rule in the docs and CHANGELOG
  • ruleset-sync: a response without bypass_actors is an error; when to apply ci-rule

brunogbv and others added 3 commits October 14, 2026 08:39
ruleset-sync checks and applies each manifest in .github/rulesets/
(bypass-extras.json excepted), matched on GitHub by name, listing a
repo's rulesets once. Output names the ruleset on each line. Repeated
--manifest replaces the default set; two manifests with one name are
refused. bypass-extras.json, @Consumers included, applies to main-rule
alone.

ci-rule.json requires ci-ok from GitHub Actions (integration 15368),
non-strict, with an explicit empty bypass list so check reports a
hand-added actor and apply removes it. main-rule needs 1 approval.

The normaliser treats an absent do_not_enforce_on_create as false, drops
a null integration_id and sorts the required checks: GitHub's OpenAPI
schema makes both fields optional, so a live response may omit them.

Tested: scripts/ruleset-sync.sh --self-test (20 failures before the change, ok after); devkit-quality.sh rc=0
Co-Authored-By: Claude <[email protected]>
The README, docs/1-design.md, the ruleset-sync row in
docs/4-reference_tools.md and the devkit.just recipe comments name both
rulesets. CHANGELOG opens v0.10.0 with what rulesets-apply changes after
the release.

Closes #112

Tested: devkit-quality.sh (ruff, shellcheck, actionlint, self-tests, agents-check, docs-lint, skills check, release --check, merge-key-check) rc=0
Co-Authored-By: Claude <[email protected]>
…pply ci-rule

Tested: ruleset-sync.sh --self-test (new case red, then green); devkit quality gate
Co-Authored-By: Claude <[email protected]>
@github-actions github-actions Bot changed the title mip 0086/ci rule MIP-0086: ruleset-sync: every manifest in .github/rulesets/ Oct 14, 2026
@brunogbv
brunogbv merged commit 6f3c9ee into main Oct 14, 2026
8 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