Re: git mirror stuck?

On 3/20/21 11:03 AM, Tom Lane wrote:
> Magnus Hagander <magnus@hagander.net> writes:
>> Yeah, we had a network issue in one of our datacenters, and
>> unfortunately it seems none of our US based pginfra people noticed.
>> The affected network gear was rebooted when I got up this morning, so
>> things should've mostly recovered now but there are a few queues that
>> are still waiting to drain.
> 
> It's five hours later and still no git mirror update.


Stephen and I looked at it and think the next commit would have sync'd up your 
change. But Stephen went ahead and forced it to sync.

Joe

-- 
Crunchy Data - http://crunchydata.com
PostgreSQL Support for Secure Enterprises
Consulting, Training, & Open Source Development