Skip to content

ci: remove Mergify, restore pr-monitor as the merge gate - #949

Closed
thekevinbot wants to merge 2 commits into
mainfrom
claude/pr-monitor-mergify-removal-tks3fe
Closed

ci: remove Mergify, restore pr-monitor as the merge gate#949
thekevinbot wants to merge 2 commits into
mainfrom
claude/pr-monitor-mergify-removal-tks3fe

ci: raise the gate timeout to double the longest observed run

dfb3561
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar