chiark / gitweb /
~ianmdlvl / dgit.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7ad5d88) | patch
dgit: Provide no_local_git_config
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 28 Jun 2017 15:59:00 +0000 (16:59 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 8 Jul 2017 17:54:00 +0000 (18:54 +0100)
commit1171def5bb4f2659d19718ad39c81c1aa6b162cd
tree86e20d9ad808ea1437c85719923d34c87f227bf3tree | snapshot
parent7ad5d889f402e47dba2e51bb1907a505d93c8f38commit | diff
dgit: Provide no_local_git_config

Part of the fix to #865863.  No callers yet, so no functional change.

This function not only arranges not to call git config --local.
Removing 'local' from @gitcfgsources also prevents various config
lookup machinery from trying to find information in $cfg{local}
now of course does not exist.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
dgit diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.