Skip to content

Auto-merge-disable safeguard, repo-wide SHA pins, AGENTS.md tighten, rules-docs alignment - #80

Merged
ptr727 merged 2 commits into
mainfrom
develop
May 12, 2026
Merged

Auto-merge-disable safeguard, repo-wide SHA pins, AGENTS.md tighten, rules-docs alignment#80
ptr727 merged 2 commits into
mainfrom
develop

Drop "branches up to date" rule from main ruleset (incompatible with …

d450626
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar