Skip to content

Merge main into live#12855

Merged
gewarren merged 2 commits into
livefrom
main
Jul 6, 2026
Merged

Merge main into live#12855
gewarren merged 2 commits into
livefrom
main

Allow synchronization action for PRs in disallow-edits policy (#12852)

d6bcee2
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar