Re: gitmaster -> anon git repo propagation broken?

Tom,

* 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.

I have a feeling we need to review the push script a bit to not update
the 'last push' timestamp until after we have *successfully* pushed,
otherwise it gets "stuck" until another commit happens. Not going to
change that now, given the timing, but will put it on my list of things
to look at after the release (will plan to chat about it with other
pginfra folks in Estonia).

Thanks!

Stephen