event.push, not event.pull_request

This commit is contained in:
Simon Sapin 2018-08-16 17:15:00 +02:00
parent 73d9baf9fa
commit 5ea2241bf2

View file

@ -12,7 +12,7 @@ tasks:
metadata: metadata:
name: "Taskcluster experiments for Servo" name: "Taskcluster experiments for Servo"
description: "Initial task" description: "Initial task"
owner: ${event.pull_request.user.login}@users.noreply.github.com owner: ${event.push.pusher.email}
source: ${event.compare} source: ${event.compare}
routes: routes:
@ -30,7 +30,7 @@ tasks:
- '--login' - '--login'
- '-c' - '-c'
- >- - >-
git clone ${event.pull_request.head.repo.clone_url} repo && git clone ${event.push.repository.clone_url} repo &&
cd repo && cd repo &&
git checkout ${event.push.after} && git checkout ${event.push.after} &&
echo "Hello World!" && echo "Hello World!" &&