From: Junio C Hamano <gitster@pobox.com>
Date: Thu, 14 Jul 2022 18:27:19 GMT
Subject: Re: gc/bare-repo-discovery (was Re: What's cooking in git.git (Jul 2022, #03; Mon, 11))
Message-ID: <xmqqmtdb5z3s.fsf@gitster.g>
In-Reply-To: <5ps2q552-1rr3-7161-4181-31556pp2ns12@tzk.qr>

Johannes Schindelin <Johannes.Schindelin@gmx.de> writes:

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

Yup, that is fine by me.

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

Sounds good.