This PR is not meant to be merged. I am using it to verify that it is no longer possible to merge PRs except through the commit queue, and that github merge criteria (e.g. requiring a review) are still enforced, even when committing via the commit queue
This PR is not meant to be merged. I am using it to verify that it is no longer possible to merge PRs except through the commit queue, and that github merge criteria (e.g. requiring a review) are still enforced, even when committing via the commit queue