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

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

thekevinscott merged 3 commits into

mainthekevinscott/dirsql:mainfrom

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