Re: gc/bare-repo-discovery (was Re: What's cooking in git.git (Jul 2022, #03; Mon, 11))

From: Johannes Schindelin <johannes.schindelin@gmx.de>
Date: Jul 14, 2022, 16:17 UTC
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:

Show 10 quoted lines

> 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