tree 572a5db07f82e92b2c148948775494a4fd1821b3
parent 5440bd1b7210d1b332dae09d9d515a1643807e2a
author Damien Martin-Guillerez <dmarting@google.com> 1495391866 -0700
committer Damien Martin-Guillerez <dmarting@google.com> 1500074471 +0200

Use the pipeline job for vetting Github Pull Request

Unfortunately the Github Pull Request Builder does not work
well with pipeline job so we wrap each job with a PR-Trigger job that
just call the other job.

Change-Id: I881f3c946e2828daec05b7f0c1fc30e9ac7fc642