diff options
| author | Wladimir J. van der Laan <laanwj@gmail.com> | 2019-01-14 16:32:05 +0100 |
|---|---|---|
| committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2019-01-14 16:32:05 +0100 |
| commit | 059a3cffdfa596aa3adaace3f57fa86fdd3f80fc (patch) | |
| tree | 915e8a2708870eec177c4d5892639031b7f9b15a /src | |
| parent | 035f349371a5b67922ce92c11ad9aa7178fa04f7 (diff) | |
contrib: Detailed reporting for http errors in github-merge
Print detailed error, this makes it easier to diagnose github API issues.
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions