GitHub: PR merge queue is now generally available
Open link in next tab
Pull request merge queue is now generally available! | GitHub Changelog
https://github.blog/changelog/2023-07-12-pull-request-merge-queue-is-now-generally-available/
Pull request merge queue is now generally available!