tree 9a827a92db9d903ddb2100f8751557f7030751d8
parent 61040e7ccba2898459c9cef79779391dbd1f6803
author Tristan Cacqueray <tdecacqu@redhat.com> 1497316443 +0000
committer Tristan Cacqueray <tdecacqu@redhat.com> 1497316443 +0000

github: retry pull_request()

Sometime, on new pull request, github.pull_request() returns None. This change
mitigates this issue by retrying...

Change-Id: Ie96002bfd7448e2c84aa42a0e646e04a747dab20