diff --git a/src/repository/opamGit.ml b/src/repository/opamGit.ml index ee7a392cecc..fa8ce0cdf69 100644 --- a/src/repository/opamGit.ml +++ b/src/repository/opamGit.ml @@ -22,6 +22,7 @@ let git_env = [ let git_config = [ "gc.autoDetach", "false"; "maintenance.autoDetach", "false"; + "core.fsmonitor", "false"; ] let env =