Re: [PATCH v2 0/2] setup.c: make bare repo discovery optional

From: Junio C Hamano <gitster@pobox.com>
Date: May 16, 2022, 23:19 UTC
Message-ID: <xmqq4k1p12wm.fsf@gitster.g>
In-Reply-To: <5b969c5e-e802-c447-ad25-6acc0b784582@github.com>

Derrick Stolee <derrickstolee@github.com> writes:

Show 7 quoted lines

> * 'no-embedded' allows non-embedded bare repositories. An
>   _embedded bare repository_ is a bare repository whose parent
>   directory is contained in the worktree of a non-bare Git
>   repository. When in this mode, embedded bare repositories are
>   not allowed unless the parent non-bare Git repository has a
>   'safe.embedded' config value storing the path to the current
>   embedded bare repository.

Sounds sensible. I wonder how expensive this will be in practice, but the behaviour seems well thought out.

$ cat FOOTERMessages come from the public archive at lore.kernel.org/git, fetched every hour. The front page is chosen and written each morning by an AI editor and can be wrong; the threads themselves are the record. About and API. For agents: an MCP server at https://gitlist.dev/mcp, and any thread, story or person page as Markdown by adding .md to its URL (or sending Accept: text/markdown). Details in /llms.txt.