Repository navigation
Update AGENTS.md to avoid AI bloat - #1235
Merged
Merged
Mergify / Mergify Merge Protections
succeeded
Oct 14, 2026 in 3s
1 applicable rule, 1 validating requirements
Merge Protections
🟢 Merge protection satisfied — ready to merge.
Show 1 satisfied protection
🟢 Require approval from approved reviewers list
All pull requests must have at least one approving review from a member of the approved reviewers list before merging.
- any of:
-
approved-reviews-by = shanjiaz -
approved-reviews-by = dsikka -
approved-reviews-by = fynnsu -
approved-reviews-by = orestis-z -
approved-reviews-by = rahul-tuli
-
Loading