| commit | 44004872c891ae1b06cd3aff9c597828558ddedb | |
| author | Johannes Schindelin <johannes.schindelin@gmx.de> | |
| Wed, 14 Nov 2018 13:59:02 +0000 (14 05:59 -0800) | ||
| committer | Junio C Hamano <gitster@pobox.com> | |
| Fri, 16 Nov 2018 02:54:01 +0000 (16 11:54 +0900) | ||
| tree | 31b2397f49e02ec1bd741cdce0fd25b6ee725b47 | treesnapshot (tar.gz zip) |
| parent | d166e6afe5f257217836ef24a73764eba390c58d | commitdiff |
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>
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 | diffblobblamehistory |