aboutsummaryrefslogtreecommitdiff
path: root/.github
diff options
context:
space:
mode:
authorPhilipp Kerling <yol@casix.org>2019-11-21 18:34:01 +0100
committerPhilipp Kerling <yol@casix.org>2019-11-24 20:41:25 +0100
commit358157c86ee6e4574327c43bac8dedff1964bdee (patch)
tree187b99a306da58e77da2bd4532367522718b629a /.github
parentc53cf33886bbcc43ae3981c72b162894e63197be (diff)
Add mergeable config to check PR labels/milestones
Diffstat (limited to '.github')
-rw-r--r--.github/mergeable.yml18
1 files changed, 18 insertions, 0 deletions
diff --git a/.github/mergeable.yml b/.github/mergeable.yml
new file mode 100644
index 0000000000..c8cc6ab87f
--- /dev/null
+++ b/.github/mergeable.yml
@@ -0,0 +1,18 @@
+version: 2
+mergeable:
+ - when: pull_request.*
+ validate:
+ - do: milestone
+ no_empty:
+ enabled: true
+ must_exclude:
+ regex: 'Abandoned'
+ - do: label
+ must_include:
+ regex: '^v|Infrastructure'
+ message: 'At least version label must be set'
+ must_exclude:
+ regex: '^(Don''t merge|On hold|No Jenkins|RFC|WIP)$'
+ - do: title
+ must_exclude:
+ regex: '\[(RFC|WIP)\]'