diff --git a/tools/sync_doc_repo.py b/tools/sync_doc_repo.py index 5e1e72c6..d9531b4e 100644 --- a/tools/sync_doc_repo.py +++ b/tools/sync_doc_repo.py @@ -113,7 +113,13 @@ def process_repositories(args, service): source_path = pathlib.Path(copy_from, doc["rst_location"]) target_path = pathlib.Path(copy_to, doc["rst_location"]) - sync(source_path, target_path, purge=True, create=True, exclude=['conf.py']) + sync( + source_path, + target_path, + purge=True, + create=True, + exclude=['conf.py'] + ) repo_to.index.add([doc["rst_location"]]) if len(repo_to.index.diff("HEAD")) == 0: # Nothing to commit