jenkinsci / seed-plugin

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

BitBucket PR closed event #24

Open dcoraboeuf opened 8 years ago

dcoraboeuf commented 8 years ago

When a source branch is closed after a PR has been merged, BitBucket does delete the branch but does not send a "branch deletion" event. Use the “pull request:fulfilled” event. The JSON payload for this event does contain the source branch and could therefore be used to delete the pipeline, if the “close_source_branch” is set to true.