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 d
Subject: Re: [PATCH 1/3] Makefile.local: set IS_GIT = yes when regular file $srcdir/.git exists
Date: Sat, 11 Jun 2016 13:25:50 -0300
To: Tomi Ollila, notmuch@notmuchmail.org
From: David Bremner
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 d