chiark / gitweb /
directory refactoring: Rename no_local_git_cfg
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 2 Aug 2017 18:56:40 +0000 (19:56 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 3 Aug 2017 08:57:52 +0000 (09:57 +0100)
commit2ef2809f38beeafcccd904267b82849ddcb17957
tree54a50377f45508f296790fa8a20b859f544bb70a
parent780a7c95e17f7d467015070895cb1fc18e1daff4
directory refactoring: Rename no_local_git_cfg

This is actually called when we don't know that we are starting in a
git tree.  We want to use this knowledge to control an automatic call
to record_maindir, too.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
dgit