From a152372ebbde6bd8acd63ed3fd5e778552dc174e Mon Sep 17 00:00:00 2001 From: pseusys Date: Sat, 11 Mar 2023 22:17:06 +0100 Subject: [PATCH] error on empty repo clone path ignored --- sources/manager_github.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/sources/manager_github.py b/sources/manager_github.py index 70c6c4f..e7b543e 100644 --- a/sources/manager_github.py +++ b/sources/manager_github.py @@ -47,7 +47,7 @@ class GitHubManager: github = Github(EM.GH_TOKEN) clone_path = "repo" GitHubManager.USER = github.get_user() - rmtree(clone_path) + rmtree(clone_path, ignore_errors=True) GitHubManager._REMOTE_NAME = f"{GitHubManager.USER.login}/{GitHubManager.USER.login}" GitHubManager._REPO_PATH = f"https://{EM.GH_TOKEN}@github.com/{GitHubManager._REMOTE_NAME}.git"