Re: missing file in git repo

Magnus Hagander <magnus@hagander.net> writes:
> On Mon, May 3, 2010 at 17:05, Andrew Dunstan <andrew@dunslane.net> wrote:
>> I pulled together a quick hack, and here is what I get from my mirrors. I'm
>> not sure why we get those diffs - it's a bit odd, although fairly
>> insignificant.

> I don't think we can call anything insignificant - if we want it to be
> identical, it needs to be identical. So we need to figure out why
> they're different, and correct it.

At the very least we need to understand what's causing the difference;
otherwise it could be a problem that will bite us in a more serious
fashion later.  I agree with Andrew that this difference is not critical
in itself, so it might be reasonable to not bother fixing it after we
understand it.
        regards, tom lane