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

From: Junio C Hamano <gitster@pobox.com>
Date: Jul 14, 2022, 18:27 UTC
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.

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