diff options
| author | Lessley Dennington <lessleydennington@gmail.com> | 2021-12-06 15:55:58 +0000 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2021-12-06 09:55:06 -0800 |
| commit | 44c7e62e51e504c060844360fc56b613cfc1beea (patch) | |
| tree | 8dea9c7de0b8a57692b85e862c0f09bc760a7a31 | |
| parent | 27a443b8208b802a9856819d79175976f9a9b993 (diff) | |
repo-settings: prepare_repo_settings only in git repos
Check whether git directory exists before adding any repo settings. If it
does not exist, BUG with the message that one cannot add settings for an
uninitialized repository. If it does exist, proceed with adding repo
settings.
Signed-off-by: Lessley Dennington <lessleydennington@gmail.com>
Reviewed-by: Elijah Newren <newren@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
| -rw-r--r-- | repo-settings.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/repo-settings.c b/repo-settings.c index b93e91a212..00ca5571a1 100644 --- a/repo-settings.c +++ b/repo-settings.c @@ -17,6 +17,9 @@ void prepare_repo_settings(struct repository *r) char *strval; int manyfiles; + if (!r->gitdir) + BUG("Cannot add settings for uninitialized repository"); + if (r->settings.initialized++) return; |