I thought of that as well but would find it annoying that I would need to
remember two sets of triggers, the ones for the automated jobs and the ones
for the manual runs. If we re-use the same precommit trigger phrase, we
would get two runs (automated and manual) of effectively the same thing for
the jobs where the automated one wouldn't get filtered out.

On Thu, Jun 14, 2018 at 9:46 AM Andrew Pilloud <[EMAIL PROTECTED]> wrote:
;