From 558799cc0f194f5e9f44efb9425f8f7f784dea7d Mon Sep 17 00:00:00 2001
From: Simon Sapin <simon.sapin@exyr.org>
Date: Wed, 12 Dec 2018 18:29:14 +0100
Subject: [PATCH] Also run Taskcluster tasks when pushing to `master`

I forgot to include this in https://github.com/servo/servo/pull/22381
---
 .taskcluster.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.taskcluster.yml b/.taskcluster.yml
index 10559de409ca..ede49e476a98 100644
--- a/.taskcluster.yml
+++ b/.taskcluster.yml
@@ -6,7 +6,7 @@ tasks:
   - $if: 'tasks_for == "github-push"'
     then:
       $if: >-
-        event.ref in ["refs/heads/auto", "refs/heads/try"] ||
+        event.ref in ["refs/heads/auto", "refs/heads/try", "refs/heads/master"] ||
         event.ref[:15] == "refs/heads/try-"
       then: