chore(mergify): add 'auto merged' label (#7552)

This allows us to easily find and audit auto merged PRs
spinnaker · Oct 23, 2019 · 771e7ce · 771e7ce
1 parent 2d78431
commit 771e7ce
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.mergify.yml b/.mergify.yml
@@ -8,3 +8,5 @@ pull_request_rules:
       merge:
         method: squash
         strict: smart
+      label:
+        add: ['auto merged']