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