Skip to content

ci: remove pr-guard, superseded by native PR creation policy#10

Merged
Jaro-c merged 1 commit into
developfrom
ci/remove-pr-guard
Jun 5, 2026
Merged

ci: remove pr-guard, superseded by native PR creation policy#10
Jaro-c merged 1 commit into
developfrom
ci/remove-pr-guard

ci: remove pr-guard, superseded by native PR creation policy

63d2891
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
collaborators-only
succeeded Jun 5, 2026 in 2s