From: Felipe Contreras <felipe.contreras@gmail.com>
Date: Sun, 03 Jan 2021 11:57:43 GMT
Subject: Re: git-dir requires work-tree; documentation improvements for working directory
Message-ID: <5ff1b137e3eab_1c01e208a5@natae.notmuch>
In-Reply-To: <CA+RLzGCfqNdup1cmz3W4iBzbsxe9SD7E+Ju4svNFvhe6ohJqjA@mail.gmail.com>

Yaroslav Nikitenko wrote:
> However, I think that this is a bug in the implementation or the
> documentation. It's not highlighted anywhere that the repository must
> be non-bare for git-dir to work without explicit work-tree (an
> opposite is stated in general).

core.bare=true means no work-tree, so to me that behavior follows from
the documentation. But others might disagree.

> Should I write a letter with [BUG] in its header for that to be noticed?

The mailing list is a little more quite than usual, probably due to the
holidays.

If nobody else responds in a week, try again.

Cheers.

-- 
Felipe Contreras