]> granicus.if.org Git - git/commit
projects / git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d166e6a) | patch
config: report a bug if git_dir exists without commondir
authorJohannes Schindelin <johannes.schindelin@gmx.de>
Wed, 14 Nov 2018 13:59:02 +0000 (05:59 -0800)
committerJunio C Hamano <gitster@pobox.com>
Fri, 16 Nov 2018 02:54:01 +0000 (11:54 +0900)
commit44004872c891ae1b06cd3aff9c597828558ddedb
tree31b2397f49e02ec1bd741cdce0fd25b6ee725b47tree | snapshot
parentd166e6afe5f257217836ef24a73764eba390c58dcommit | diff
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>
config.c diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.