diff options
| author | Johannes Schindelin <johannes.schindelin@gmx.de> | 2018-11-14 05:59:02 -0800 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2018-11-16 11:54:01 +0900 |
| commit | 44004872c891ae1b06cd3aff9c597828558ddedb (patch) | |
| tree | 31b2397f49e02ec1bd741cdce0fd25b6ee725b47 /builtin/commit.c | |
| parent | d166e6afe5f257217836ef24a73764eba390c58d (diff) | |
| download | git-44004872c891ae1b06cd3aff9c597828558ddedb.tar.gz | |
config: report a bug if git_dir exists without commondir
This did happen at some stage, and was fixed relatively quickly. Make
sure that we detect very quickly, too, should that happen again.
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Reviewed-by: Jeff King <peff@peff.net>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'builtin/commit.c')
0 files changed, 0 insertions, 0 deletions