Auto merge of #114 - edunham:maxpriority, r=jdm

implement maximum priority

If this deploys before servo/saltfs#660 lands, it might break. Tagging blocked on external till saltfs 660 lands.

This is required to do #111 the easy way.

<!-- Reviewable:start -->
---
This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/homu/114)
<!-- Reviewable:end -->

Author: bors-servo

cfg.sample.toml

@@ -10,6 +10,9 @@ access_token = ""
 app_client_id = ""
 app_client_secret = ""
 
+# Priority values above max_priority will be refused.
+max_priority = 9001
+
 [git]
 
 # Use the local Git command. Required to use some advanced features. It also

homu/main.py

@@ -520,10 +520,18 @@ def parse_commands(body, username, repo_cfg, state, my_username, db, states,
                                realtime, my_username):
                 continue
             try:
-                state.priority = int(word[len('p='):])
+                pvalue = int(word[len('p='):])
             except ValueError:
-                pass
+                continue
 
+            if pvalue > global_cfg['max_priority']:
+                if realtime:
+                    state.add_comment(
+                        ':stop_sign: Priority higher than @{} is ignored.'
+                        .format(global_cfg['max_priority'])
+                    )
+                continue
+            state.priority = pvalue
             state.save()
 
         elif word.startswith('delegate='):

setup.py

@@ -2,7 +2,7 @@
 
 setup(
     name='homu',
-    version='0.2.0',
+    version='0.3.0',
     author='Barosl Lee',
     url='https://github.com/barosl/homu',
     description=('A bot that integrates with GitHub '