diff --git a/scripts/update_rules.py b/scripts/update_rules.py index 25b5711..7633c76 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)