Re: git-dir requires work-tree; documentation improvements for working directory
- From
Felipe Contreras <felipe.contreras@gmail.com>
- Date
- Jan 3, 2021, 11:57 UTC
- 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