| 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 | |||||
| 16 | - project: | ||||
| 17 | name: org/project | ||||
| 18 | merge: | ||||
| 19 | jobs: | ||||
| 20 | - noop | ||||