GitHub: PR merge queue is now generally available
GitHub: PR merge queue is now generally available
github.blog
Pull request merge queue is now generally available! | GitHub Changelog
8 comments
8 comments
GitHub: PR merge queue is now generally available
Pull request merge queue is now generally available! | GitHub Changelog