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

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

thekevinbot wants to merge 2 commits into

mainthekevinscott/dirsql:mainfrom

claude/pr-monitor-mergify-removal-tks3fethekevinscott/dirsql:claude/pr-monitor-mergify-removal-tks3feCopy head branch name to clipboard