From: Miklos Vajna <vmiklos@frugalware.org>
Date: Mon, 29 Sep 2008 15:00:49 GMT
Subject: Re: having to pull twice
Message-ID: <20080929150049.GT23137@genesis.frugalware.org>
In-Reply-To: <200809281726.23062.trast@student.ethz.ch>

On Sun, Sep 28, 2008 at 05:26:20PM +0200, Thomas Rast <trast@student.ethz.ch> wrote:
> IIUC, this is not the same as "racy git".  The racy case is if you
> manage to get a file changed immediately after its index entry was
> updated, so that it will look unchanged.  In this case, it's simply
> the same file with a new mtime, which means it looks changed
> superficially but still has the same contents.

Right. I called it "racy" because it had something to do with
timestamps. I guess we have no proper term for this kind of problem yet.
;-)