To use these builders, a webhook to http://build.servo.org:9010/ for
Push notifications should be set up for the GitHub project.