diff options
author | Jonathan Tan <jonathantanmy@google.com> | 2017-12-05 19:58:43 +0300 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2017-12-05 20:46:05 +0300 |
commit | 75b97fec171dbbf7ec73960cefb50c265cfb7af7 (patch) | |
tree | c15613ea262cfa6be8009556d6129898b3b9e9c8 /environment.c | |
parent | f4371a883fa2d740d6b3cd436f62c9b56f13432e (diff) |
extension.partialclone: introduce partial clone extension
Introduce new repository extension option:
`extensions.partialclone`
See the update to Documentation/technical/repository-version.txt
in this patch for more information.
Signed-off-by: Jonathan Tan <jonathantanmy@google.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'environment.c')
-rw-r--r-- | environment.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/environment.c b/environment.c index 8289c25b44..e52aab3ea4 100644 --- a/environment.c +++ b/environment.c @@ -27,6 +27,7 @@ int warn_ambiguous_refs = 1; int warn_on_object_refname_ambiguity = 1; int ref_paranoia = -1; int repository_format_precious_objects; +char *repository_format_partial_clone; const char *git_commit_encoding; const char *git_log_output_encoding; const char *apply_default_whitespace; |