| commit | 62198cb76152692a055d83e2453b6c956298920c | [log] [tgz] |
|---|---|---|
| author | Adam Gandelman <adamg@ubuntu.com> | Tue Feb 14 16:11:02 2017 -0800 |
| committer | Jesse Keating <omgjlk@us.ibm.com> | Tue May 23 21:47:50 2017 -0700 |
| tree | 3684ef19eaa97477221da092d935cd11354e3412 | |
| parent | a6b33baadec28e09782f3e5879bcb62269b18b75 [diff] |
Comment on PRs if a remote call to merge a change failed This adds a comment to PRs when a successfully tested change fails to merge into an upstream repository due to a Github API error. It uses the merge_failure_message to format said message. Change-Id: Ieed299a71133ebd88e2c31d6bd0c54390c0901ba Signed-off-by: Adam Gandelman <adamg@ubuntu.com>