Luke Kysow 67b2217245 Retry get pull request calls to github ...

These calls have been 404'ing lately, likely due to eventual consistency
issues on GitHub's side where they send the PR created webhook but it's
not yet available on their API.

To work around this, we will retry up to 3 times with a 1s delay.

2020-07-25 23:46:41 -07:00

27 KiB

Raw Blame History

View Raw