ferry.huberts@xxxxxxxxxx wrote:
> From: Ferry Huberts <ferry.huberts@xxxxxxxxxx>
>
> This is to make sure that the git plugin sets up a clone
> in the same fashion as the CLI git clone command.
>
> Signed-off-by: Ferry Huberts <ferry.huberts@xxxxxxxxxx>
Thanks. "jgit clone" also needed this added. I did that in
a small followup patch.
Really though we need to fix the abstraction of Repository so there's
a notion of a bare repository, and a repository+worktree. And that
abstraction should then set the core.bare property accordingly
when creating a new repository (or new repository+worktree).
Unfortunately that hasn't happened yet...
> + /* we're setting up for a clone with a checkout */
> + local.getConfig().setBoolean("core", null, "bare", false);
> +
--
Shawn.
--
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
