On Sun, Jan 6, 2013 at 1:43 PM, Junio C Hamano <gits...@pobox.com> wrote: > How is the file that points at the real git dir removed with this > fix, by the way?
It's part of the worktree cleanup, pointed by junk_work_tree. And because junk_work_tree is not set up for --bare, I guess we still need to fix "--bare --separate-git-dir" case, or forbid it because i'm not sure if that case makes sense at all. -- Duy -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html
