1 files changed, 5 insertions, 0 deletions
diff --git a/environment.c b/environment.c
index 3fd4b10845..68823598d3 100644
--- a/environment.c
+++ b/environment.c
@@ -336,3 +336,8 @@ void reset_shared_repository(void)
 {
 	need_shared_repository_from_config = 1;
 }
+
+int use_optional_locks(void)
+{
+	return git_env_bool(GIT_OPTIONAL_LOCKS_ENVIRONMENT, 1);
+}