commit 75b97fec171dbbf7ec73960cefb50c265cfb7af7
author Jonathan Tan <jonathantanmy@google.com> Tue Dec 05 16:58:43 2017 +0000
committer Junio C Hamano <gitster@pobox.com> Tue Dec 05 09:46:05 2017 -0800
tree c15613ea262cfa6be8009556d6129898b3b9e9c8
parent f4371a883fa2d740d6b3cd436f62c9b56f13432e

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>

environment.c

diff --git a/environment.c b/environment.c
index 8289c25..e52aab3 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;