From f99748b1268f4a61baa2fb10f1bd1e9e4e57c02a Mon Sep 17 00:00:00 2001 From: Tindy X <49061470+tindy2013@users.noreply.github.com> Date: Tue, 7 Nov 2023 17:21:02 +0800 Subject: [PATCH] Fix build error --- scripts/update_rules.py | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/scripts/update_rules.py b/scripts/update_rules.py index 25b5711f1..7633c76ac 100644 --- a/scripts/update_rules.py +++ b/scripts/update_rules.py @@ -62,12 +62,11 @@ def main(): r = open_repo(repo_path) if r is None: - logging.info(f"cloning {url} to {repo_path}") + logging.info(f"cloning repo {url} to {repo_path}") r = Repo.clone_from(url, repo_path) else: - logging.info(f"pulling changes for {repo} from {url}") - r.remotes.origin.pull() - + logging.info(f"repo {repo_path} exists") + r.git.checkout(commit) update_rules(repo_path, save_path, commit, matches, keep_tree)