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
Duy Nguyen wrote:
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.
Forbidding it makes sense to
Since b57fb80a7d (init, clone: support --separate-git-dir for .git file)
git clone supports the --separate-git-dir option to create the git dir
outside the work tree. But when that option is used, the git dir won't be
deleted in case the clone fails like it would be without this option. This
makes
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Il 05/01/2013 21:17, Jens Lehmann ha scritto:
Since b57fb80a7d (init, clone: support --separate-git-dir for .git file)
git clone supports the --separate-git-dir option to create the git dir
outside the work tree. But when that option is used, the
Jens Lehmann jens.lehm...@web.de writes:
Since b57fb80a7d (init, clone: support --separate-git-dir for .git file)
git clone supports the --separate-git-dir option to create the git dir
outside the work tree. But when that option is used, the git dir won't be
deleted in case the clone fails
5 matches
Mail list logo