search

jenkinsci / seed-plugin

Seed Jenkins plug-in
https://plugins.jenkins.io/seed/
38 stars 13 forks source link

Consider GitHub pull requests as a trigger for a new pipeline in the Seed plugin #10

Open dcoraboeuf opened 9 years ago

dcoraboeuf commented 9 years ago

When a pull request is created on a Seed enabled GitHub repository, this event should be sent and associated with the creation of a new pipeline.

dcoraboeuf commented 9 years ago

The PR repository and branch are likely to be different from the configured repository. The plugin must pass those new parameters to the pipeline to be created.

Additionally, the PR hook must also deal with push and delete events on the PR.