From: Junio C Hamano <gitster@pobox.com>
Date: Mon, 17 Jun 2013 20:06:02 GMT
Subject: Re: [PATCH] GIT-VERSION-GEN: support non-standard $GIT_DIR path
Message-ID: <7v38sgcxjp.fsf@alter.siamese.dyndns.org>
In-Reply-To: <20130615230108.GA21005@kaarsemaker.net>

Dennis Kaarsemaker <dennis@kaarsemaker.net> writes:

>  I'm doing daily builds of git, using many workers and a shared git.git,
>  with per-worker checkouts

OK, so GIT_DIR is explicitly specified in these "workers".

Makes sense.