| commit | a4a6d65802b5c0944d1c11d70f114611d427d750 | [log] [tgz] |
|---|---|---|
| author | Tristan Cacqueray <tdecacqu@redhat.com> | Tue Jun 13 01:14:03 2017 +0000 |
| committer | Tristan Cacqueray <tdecacqu@redhat.com> | Tue Jun 13 01:14:03 2017 +0000 |
| tree | 9a827a92db9d903ddb2100f8751557f7030751d8 | |
| parent | 61040e7ccba2898459c9cef79779391dbd1f6803 [diff] |
github: retry pull_request() Sometime, on new pull request, github.pull_request() returns None. This change mitigates this issue by retrying... Change-Id: Ie96002bfd7448e2c84aa42a0e646e04a747dab20