On 3/20/21 12:25 PM, Joe Conway wrote:
> 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
I guess I should point out that this trac is not public however...it is
sysadmins only...
Joe
