Skip to content

Commit

Permalink
Enforce 'Type' label assignment to merge a pull request
Browse files Browse the repository at this point in the history
  • Loading branch information
david-poindexter committed Jan 19, 2020
1 parent 679b83e commit 322e127
Showing 1 changed file with 13 additions and 2 deletions.
15 changes: 13 additions & 2 deletions .github/mergeable.yml
Expand Up @@ -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

0 comments on commit 322e127

Please sign in to comment.