On Tue, 1 May 2018 13:20:45 +0000 Zero King <[email protected]> wrote:
> As Rainer replied, GitHub didn't provide the needed information in
> time. Maybe we should wait 30 seconds and retry?

That seems like a very good idea. I'd probably wait two minutes,
though, just to nail it.

Perry
-- 
Perry E. Metzger                [email protected]

Reply via email to