Auto merge of #22436 - servo:tc-master, r=SimonSapin

Also run Taskcluster tasks when pushing to `master`

I forgot to include this in https://github.com/servo/servo/pull/22381

<!-- Reviewable:start -->
---
This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/22436)
<!-- Reviewable:end -->
This commit is contained in:
bors-servo 2018-12-13 02:58:34 -05:00 committed by GitHub
commit 1ec78c065a
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -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: