chore: switch to merge queue (#1759)

* chore: disable mergify * merge queue --------- Co-authored-by: Momo Kornher <[email protected]>
cdklabs · Oct 21, 2024 · ec4291e · ec4291e
1 parent a6dc7dd
commit ec4291e
Show file tree

Hide file tree

Showing 10 changed files with 172 additions and 155 deletions.
diff --git a/.gitattributes b/.gitattributes
diff --git a/.github/workflows/auto-queue.yml b/.github/workflows/auto-queue.yml
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
diff --git a/.github/workflows/pull-request-lint.yml b/.github/workflows/pull-request-lint.yml
diff --git a/.gitignore b/.gitignore
diff --git a/.mergify.yml b/.mergify.yml
diff --git a/.npmignore b/.npmignore
diff --git a/.projen/files.json b/.projen/files.json
diff --git a/.projenrc.ts b/.projenrc.ts
@@ -61,6 +61,10 @@ const project = new typescript.TypeScriptProject({
   },
   autoApproveUpgrades: true,
   releaseToNpm: true,
+  githubOptions: {
+    mergify: false,
+    mergeQueue: true,
+  },
 });
 
 // trick projen so that it doesn't override the version in package.json