blob: 20df0d415eac33b7a8d71f6c230b6060966711e8 [file] [log] [blame]
Jan Hruban49bff072015-11-03 11:45:46 +01001- pipeline:
2 name: merge
3 description: Pipeline for merging the pull request
4 manager: independent
James E. Blair2f589fe2017-10-26 12:57:41 -07005 merge-failure-message: Merge failed
Jan Hruban49bff072015-11-03 11:45:46 +01006 trigger:
7 github:
8 - event: pull_request
9 action: comment
James E. Blair2f589fe2017-10-26 12:57:41 -070010 comment: merge me
Jan Hruban49bff072015-11-03 11:45:46 +010011 success:
12 github:
13 merge: true
14 comment: false
15
James E. Blair2bab6e72017-08-07 09:52:45 -070016- job:
17 name: base
18 parent: null
James E. Blair2f589fe2017-10-26 12:57:41 -070019 run: playbooks/base.yaml
James E. Blair2bab6e72017-08-07 09:52:45 -070020
Jan Hruban49bff072015-11-03 11:45:46 +010021- project:
22 name: org/project
23 merge:
24 jobs:
25 - noop