fix(#1970): disable git integration after 5 timeouts (#1990)

* fix(#1970): additional log function gating for efficiency when not logging

* fix(#1970): additional log function gating for efficiency when not logging

* fix(#1970): disable git integration after 10 timeouts

* fix(#1970): disable git integration after 10 timeouts

* fix(#1970): disable git integration after 10 timeouts

* fix(#1970): cleanly kill timed out git processes

* fix(#1970): revert git kill, to be completed via #1974 experiment

* fix(#1970): revert git kill, to be completed via #1974 experiment
This commit is contained in:
Alexander Courtis
2023-02-12 14:28:48 +11:00
committed by GitHub
parent b712b82b0c
commit 36e29c3a95
3 changed files with 23 additions and 0 deletions

View File

@@ -176,6 +176,13 @@ function M.purge_state()
M.cwd_to_project_root = {}
end
--- Disable git integration permanently
function M.disable_git_integration()
log.line("git", "disabling git integration")
M.purge_state()
M.config.git.enable = false
end
function M.setup(opts)
M.config.git = opts.git
M.config.filesystem_watchers = opts.filesystem_watchers