Re: gitmaster -> anon git repo propagation broken?

* Tom Lane (tgl(at)sss(dot)pgh(dot)pa(dot)us) wrote:
> I wrote:
> > Stephen Frost <sfrost(at)snowman(dot)net> writes:
> >> * Tom Lane (tgl(at)sss(dot)pgh(dot)pa(dot)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.

Ugh. I've kicked it.

Thanks!

Stephen