diff --git a/tools/hooks/install.py b/tools/hooks/install.py index 0736b29681e..554cece3ddc 100644 --- a/tools/hooks/install.py +++ b/tools/hooks/install.py @@ -49,6 +49,8 @@ def uninstall(target=None, keep=()): # Remove merge driver configuration for entry in repo.config: + if entry.level != pygit2.GIT_CONFIG_LEVEL_LOCAL: + continue match = re.match(r'^merge\.([^.]+)\.driver$', entry.name) if match and f"{match.group(1)}.merge" not in keep: print('Removing merge driver:', match.group(1))