Re: gitweb is no longer a real-time view

On 2013-03-04 14:19:27 +0100, Magnus Hagander wrote:
> > This really looks like Kevin forced a push.
> >
> > Could you show
> > git show --pretty=raw d63977eea3ab18fdec05e370b633d10b9fd20179
> > git show --pretty=raw bc61878682051678ade5f59da7bfd90ab72ce13b
> > git show --pretty=raw 5db5974c692b0fc68e7608dd85a6b4e6173a0f28
> 
> In which of the repositories - master, anonymous, or both?

Master. The commit-ids should be unique. And I only see the second one
in anon.

But I guess its not really necessary anymore since we know its Kevin's
second push that did the deed even we don't have a clue on why it did.

Greetings,

Andres Freund

-- Andres Freund                       http://www.2ndQuadrant.com/PostgreSQL Development, 24x7 Support, Training &
Services