Skip to content

Document CodeQL merge protection#76

Merged
cbusillo merged 2 commits into
mainfrom
chore/codeql-merge-protection
Jul 10, 2026
Merged

Document CodeQL merge protection#76
cbusillo merged 2 commits into
mainfrom
chore/codeql-merge-protection

Conversation

@cbusillo

Copy link
Copy Markdown
Owner

Summary

  • remove generated per-language CodeQL jobs from ordinary required status checks
  • document the dedicated CodeQL merge-protection ruleset and alert thresholds
  • preserve the repository's non-CodeQL required checks

GitHub settings applied

  • require CodeQL through an active code_scanning ruleset on the default branch
  • block CodeQL errors and high-or-higher security alerts
  • retain strict branch status-check policy without the fragile Analyze (...) contexts

Validation

  • jq empty .github/github.json
  • prettier --check .github/github.json
  • git diff --check

@cbusillo cbusillo merged commit 6746061 into main Jul 10, 2026
4 checks passed
@cbusillo cbusillo deleted the chore/codeql-merge-protection branch July 10, 2026 00:39
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