Pierre Habouzit <madcoder@xxxxxxxxxx> 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. -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html