Revert "Remove mergeable config file"

This reverts commit 0cbd9c0.
yut23 · Nov 12, 2024 · 0228691 · 0228691
1 parent 159e04e
commit 0228691
Showing 1 changed file with 13 additions and 0 deletions.
diff --git a/.github/mergeable.yml b/.github/mergeable.yml
@@ -0,0 +1,13 @@
+# config file for mergeable: https://github.com/mergeability/mergeable
+version: 2
+mergeable:
+  - when: pull_request.*
+    validate:
+      - do: title
+        must_exclude:
+          regex: ^\[?WIP\b
+          message: "WIP pull requests can't be merged."
+      - do: label
+        must_include:
+          regex: 'bug|enhancement|new feature|docs|infrastructure|dead code|refactor'
+          message: "Please label this pull request with one of: bug, enhancement, new feature, docs or infrastructure."