Merge pull request #3505 from david-poindexter/issue-3504

Enforce 'Type' label assignment to merge a pull request
dnnsoftware · Jan 19, 2020 · ec425b2 · ec425b2
2 parents 679b83e + 322e127
commit ec425b2
Showing 1 changed file with 13 additions and 2 deletions.
diff --git a/.github/mergeable.yml b/.github/mergeable.yml
@@ -4,5 +4,16 @@ mergeable:
     validate:
       - do: milestone
         no_empty:
-           enabled: true # Cannot be empty when true.
-           message: 'A milestone must be assigned to this pull request'
+          enabled: true # Cannot be empty when true.
+          message: 'A milestone must be assigned to this pull request'
+      - do: label
+        begins_with:
+          match: 'Type:' # or array of strings
+          message: 'A `Type:` label must be assigned to this pull request'
+    fail:
+      - do: comment
+        payload:
+          body: >
+            The following problems were found with this pull request:
+              - A milestone must be assigned
+              - A `Type` label must be assigned