From 9945e10c74044ee78afa4317edda7f4bc9accc67 Mon Sep 17 00:00:00 2001 From: "E. Dunham" Date: Mon, 8 May 2017 10:14:33 -0700 Subject: [PATCH] Set a maximum priority for builds. The whole thing about having non-infinite priorities is to facilitate sherriffing as discussed in https://github.com/servo/homu/issues/111 These changes set a max_priority for Homu and bump Homu to the version which respects it. I pulled 9001 out of thin air because I consider it easy to memorize. --- homu/files/cfg.toml | 3 +++ homu/map.jinja | 2 +- 2 files changed, 4 insertions(+), 1 deletion(-) diff --git a/homu/files/cfg.toml b/homu/files/cfg.toml index b93741135..390c3760c 100644 --- a/homu/files/cfg.toml +++ b/homu/files/cfg.toml @@ -10,6 +10,9 @@ access_token = "{{ secrets['gh-access-token'] }}" app_client_id = "{{ secrets['app-client-id'] }}" app_client_secret = "{{ secrets['app-client-secret'] }}" +# Priority values above max_priority will be refused. +max_priority = 9001 + [web] host = "0.0.0.0" port = 54856 diff --git a/homu/map.jinja b/homu/map.jinja index 2dc747be6..dd77b6adf 100644 --- a/homu/map.jinja +++ b/homu/map.jinja @@ -1,6 +1,6 @@ {% set homu = { 'db': '/var/homu/main.db', - 'rev': '83689f0d52e64292a4eb50def23d0e9028f8aba1' + 'rev': '62f0c9e5081e54c178fc75222e66c026a2a69f25' } %}