chore: enable PR auto merge (#1603)

* chore: enable PR auto merge * Comment
cdklabs · Oct 16, 2024 · 77a3673 · 77a3673
1 parent d060a37
commit 77a3673
Show file tree

Hide file tree

Showing 9 changed files with 35 additions and 28 deletions.
diff --git a/.gitattributes b/.gitattributes
diff --git a/.github/workflows/auto-merge.yml b/.github/workflows/auto-merge.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,9 @@ const project = new CdklabsTypeScriptProject({
       skipLibCheck: true,
     },
   },
+
+  // Because githubOptions: { mergify: false } has no effect on this project type
+  enablePRAutoMerge: true,
 });
 
 // Suppress upgrade prompts, in particular from test runs.