David Bremner <david@tethera.net> writes: > Tomi Ollila <tomi.ollila@iki.fi> writes: > >> $srcdir/.git may also be file. E.g. `git worktree` creates .git file >> while new working tree is populated. > > pushed the first patch only > Pushed the second two patches d