| Jan Hruban | 49bff07 | 2015-11-03 11:45:46 +0100 | [diff] [blame] | 1 | - pipeline: |
| 2 | name: merge |
| 3 | description: Pipeline for merging the pull request |
| 4 | manager: independent |
| Adam Gandelman | 62198cb | 2017-02-14 16:11:02 -0800 | [diff] [blame] | 5 | merge-failure-message: 'Merge failed' |
| Jan Hruban | 49bff07 | 2015-11-03 11:45:46 +0100 | [diff] [blame] | 6 | 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. Blair | 2bab6e7 | 2017-08-07 09:52:45 -0700 | [diff] [blame^] | 16 | - job: |
| 17 | name: base |
| 18 | parent: null |
| 19 | |
| Jan Hruban | 49bff07 | 2015-11-03 11:45:46 +0100 | [diff] [blame] | 20 | - project: |
| 21 | name: org/project |
| 22 | merge: |
| 23 | jobs: |
| 24 | - noop |