Merge branch 'tb/ref-filter-empty-modifier'

diff --git a/environment.c b/environment.c
index f1f934b6fddd101191a17b1bc1883da287793319..8289c25b44d74a0f054f9fe3eaf44c5fdcf0b3d2 100644 (file)
--- a/environment.c
+++ b/environment.c
@@ -338,3 +338,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);
+}