From 2c51cc26d1d4338e4966d4387560623a3a3e3c86 Mon Sep 17 00:00:00 2001 From: Daniel Dyla Date: Fri, 10 Feb 2023 12:02:28 -0500 Subject: [PATCH] chore: enable merge queues (#3599) --- .github/repository-settings.md | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/.github/repository-settings.md b/.github/repository-settings.md index 1391de5f1..c5f00a2e3 100644 --- a/.github/repository-settings.md +++ b/.github/repository-settings.md @@ -20,6 +20,12 @@ No changes ### `main` * Uncheck "Restrict who can push to matching branches" +* Check "Require merge queue" + * Build concurrency: 5 + * Minimum pull requests to merge: 1 or after 5 minutes + * Maximum pull requests to merge: 5 + * Check "Only merge non-failing pull requests" + * Status check timeout: 60 minutes ### `dependabot/**/**`