From: Junio C Hamano Date: Thu, 08 Jul 2010 19:40:11 GMT Subject: Re: fixing workdirs Message-ID: <7v7hl5pxt0.fsf@alter.siamese.dyndns.org> In-Reply-To: <20100708110842.GC12789@madism.org> Pierre Habouzit writes: > for the first one, the fix is simple: workdirs have now a name, and > their HEAD reflog lives in the "master" git repository reflog namespace > under logs/workdir/$workdir_name/HEAD. The workdir HEAD reflog is then a > symlink to the masters. I think this is a sane thing to do, except for the "symlink" part but that would be just a minor implementation detail. > For the second one, when a workdir is created, a [workdir "foo"] section > is added to the master directory, with a path configuration variable > pointing to the ... path of the working directory. Ok. > ... git checkout would check that no other workdir is currently "on > the same branch", and would refuse to checkout to a branch that is > already checkouted elsewhere. I am personally fine with this, but if there is no way to override this refusal it may break some people's existing workflow. I dunno.