From d5d68b0d01180217285b9b2a55176d1749595ca8 Mon Sep 17 00:00:00 2001 From: vladimirhasko Date: Sun, 29 Jan 2023 20:05:46 +0000 Subject: [PATCH] fixing the sync command --- tools/sync_doc_repo.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/tools/sync_doc_repo.py b/tools/sync_doc_repo.py index d9531b4e..1299cb3b 100644 --- a/tools/sync_doc_repo.py +++ b/tools/sync_doc_repo.py @@ -116,9 +116,10 @@ def process_repositories(args, service): sync( source_path, target_path, + 'sync', purge=True, create=True, - exclude=['conf.py'] + ignore=['conf.py'] ) repo_to.index.add([doc["rst_location"]]) if len(repo_to.index.diff("HEAD")) == 0: