From: Andreas Krey <a.krey@gmx.de>
Date: Thu, 23 May 2013 19:27:25 GMT
Subject: Re: [PATCH 0/3] Fixing volatile HEAD in push.default = current
Message-ID: <20130523192725.GS9448@inner.h.apk.li>
In-Reply-To: <7vmwrlhi0h.fsf@alter.siamese.dyndns.org>

On Thu, 23 May 2013 07:45:34 +0000, Junio C Hamano wrote:
...
> Even with 'mv', between the time the main in mv starts and the
> process finally issues rename(2) on the directory, you can start
> running what competes and interferes with it in another terminal,
> so it does not fundamentally change anything, I would have to say.

Not fundamentally, it's just that the mv is fast enough you wouldn't
even think of switch to another term/backgrounding it.

Andreas

-- 
"Totally trivial. Famous last words."
From: Linus Torvalds <torvalds@*.org>
Date: Fri, 22 Jan 2010 07:29:21 -0800