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!
regards, tom lane