Skip to content

Document develop ruleset omitting branch-up-to-date check#143

Merged
ptr727 merged 1 commit into
developfrom
docs-develop-strict-flag-off
May 13, 2026
Merged

Document develop ruleset omitting branch-up-to-date check#143
ptr727 merged 1 commit into
developfrom
docs-develop-strict-flag-off

Commits

Commits on May 13, 2026