From: Junio C Hamano <gitster@pobox.com>
Date: Mon, 16 May 2022 23:19:37 GMT
Subject: Re: [PATCH v2 0/2] setup.c: make bare repo discovery optional
Message-ID: <xmqq4k1p12wm.fsf@gitster.g>
In-Reply-To: <5b969c5e-e802-c447-ad25-6acc0b784582@github.com>

Derrick Stolee <derrickstolee@github.com> writes:

> * '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.