chore: enable merge queues (#3599)

open-telemetry · Feb 10, 2023 · 2c51cc2 · 2c51cc2
1 parent 326fd55
commit 2c51cc2
Showing 1 changed file with 6 additions and 0 deletions.
diff --git 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/**/**`