blob: c9673b98dab4fdc77e1bbb536fccb7a4a8838198 [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
Adam Gandelman62198cb2017-02-14 16:11:02 -08005 merge-failure-message: 'Merge failed'
Jan Hruban49bff072015-11-03 11:45:46 +01006 trigger:
7 github:
8 - event: pull_request
9 action: comment
10 comment: 'merge me'
11 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
19
Jan Hruban49bff072015-11-03 11:45:46 +010020- project:
21 name: org/project
22 merge:
23 jobs:
24 - noop