[vlc-devel] [PATCH] doc: fix make distcheck with git worktrees

[Steve Lhomme]

On 2020-01-13 17:07, Rémi Denis-Courmont wrote:
> Le maanantaina 13. tammikuuta 2020, 15.10.11 EET Steve Lhomme a écrit :
>> On 2020-01-13 14:08, Romain Vimont wrote:
>>> In a git worktree, .git is a regular (text) file, not a directory.
>>
>> Not here. There's for example .git/config which is convenient to edit.
> 
> Me too but I don't use git-worktree so far. Are you?

I did not know it was a thing.