From 042c3f5ff371ec4b667390b4b9ec4404811df441 Mon Sep 17 00:00:00 2001 From: Benedikt Schesch Date: Mon, 27 May 2024 12:51:28 -0700 Subject: [PATCH] Repo fix --- src/python/repo.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/python/repo.py b/src/python/repo.py index ba92780597..8290185582 100755 --- a/src/python/repo.py +++ b/src/python/repo.py @@ -124,7 +124,8 @@ def clone_repo(repo_slug: str, repo_dir: Path) -> git.repo.Repo: "plumelib_ort_adjacent_ignorespace", "plumelib_ort_imports", "plumelib_ort_imports_ignorespace", - "plumelib_ort_imports_adjacent", + "plumelib_ort_version_number", + "plumelib_ort_version_number_ignorespace", ], ) MERGE_STATE = Enum(