From: Johannes Schindelin <johannes.schindelin@gmx.de>
Date: Thu, 14 Jul 2022 16:17:39 GMT
Subject: Re: gc/bare-repo-discovery (was Re: What's cooking in git.git (Jul 2022, #03; Mon, 11))
Message-ID: <5ps2q552-1rr3-7161-4181-31556pp2ns12@tzk.qr>
In-Reply-To: <xmqq8roxdlhe.fsf@gitster.g>

Hi,

On Wed, 13 Jul 2022, Junio C Hamano wrote:

> Glen Choo <chooglen@google.com> writes:
>
> > I also noted your distaste for the `discovery.*` namespace (fair
> > enough). To avoid a reroll-of-the-reroll, I was hoping that we could
> > agree on something on-list (thread here [1]) before I send out the next
> > version.
>
> I found your idea of adding this new one in the safe.* hierarchy
> quite reasonable.  "safe.discoveredBareRepository = yes / no" may be
> quote a mouthful, but I do not think I can think of anything better.

I would find `safe.bareRepository = true` or `false` more intuitive, and
more concise.

And if there should be an option to ignore bare repositories when
discovering a Git repository, it could be a tristate, with `ignore` being
the value to trigger that mode.

Thanks,
Dscho