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