Re: git mirror stuck?

On 3/20/21 12:14 PM, Tom Lane wrote:
> Joe Conway <mail@joeconway.com> writes:
>> On 3/20/21 11:03 AM, Tom Lane wrote:
>>> 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.
> 
> Yeah, I suspected the same.  Thanks!

FWIW I also created a "Standard Operating Procedure" on the pginfra trac, so 
next time it will be easier to resolve hopefully :-)

https://pmt.postgresql.org/trac/wiki/CheckGitInSync

Joe

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