reorder rules, remove sokra rule

sokra · sokra · commit 9a9f2cd5e6a3 · 2017-04-06T00:12:17.000+02:00
diff --git a/open-bot.yaml b/open-bot.yaml
@@ -208,38 +208,24 @@ rules:
 
 
 
-# add/remove mentioned-sokra label
-- filters:
-    open: true
-    any:
-      in_order:
-        comment_1:
-          author: "^sokra$"
-        comment_2: "@sokra"
-      all:
-        not:
-          comment_1:
-            author: "^sokra$"
-        comment_2: "@sokra"
-  actions:
-    label: "mentioned-sokra"
+# add non-master label to pull request to other branch
 - filters:
-    in_order:
-      comment_1: "@sokra"
-      comment_2:
-        author: "^sokra$"
+    pull_request:
+      base_ref: "^(?!master)"
   actions:
-    label:
-      remove: "mentioned-sokra"
+    label: "PR: non-master"
 
 
 
-# add non-master label to pull request to other branch
+# add small label to small pull requests
 - filters:
+    open: true
     pull_request:
-      base_ref: "^(?!master)"
+      additions: "<= 10"
+      deletions: "<= 10"
+      changed_files: "<= 2"
   actions:
-    label: "PR: non-master"
+    label: "PR: small"
 
 
 
@@ -263,15 +249,3 @@ rules:
         > Don't submit pull request from your own `master` branch. It's recommended to create a feature branch for the PR.
 
         *You don't have to change it for this PR, just make sure to follow this hint the next time you submit a PR.*
-
-
-
-# add small label to small pull requests
-- filters:
-    open: true
-    pull_request:
-      additions: "<= 10"
-      deletions: "<= 10"
-      changed_files: "<= 2"
-  actions:
-    label: "PR: small"
