I wrote:
> Stephen Frost <sfrost@snowman.net> writes:
>> * Tom Lane (tgl@sss.pgh.pa.us) wrote:
> Alvaro's recent commits (00f15338b234e5fd et al) appear on gitmaster
> but not on the anonymous repo, which means they are not getting tested on
> the buildfarm. This is not good on the day of a release.
>> There was a failure in the push mechanism but it appears to have cleared
>> and the two look current to me now.
> Looks good from here, too, thanks.
Well, it looked good at the time, but I see 2dde01ccbfb4c53c hasn't
propagated yet either.
regards, tom lane