RFC enable github's pull request merge queue? #25583
Description
https://github.blog/changelog/2023-02-08-pull-request-merge-queue-public-beta/
It seems like a nice usability improvement.
{{ message }}
https://github.blog/changelog/2023-02-08-pull-request-merge-queue-public-beta/
It seems like a nice usability improvement.