diff options
| author | Frederick Yin <fred.yin@sjtu.edu.cn> | 2021-10-11 20:57:02 +0800 |
|---|---|---|
| committer | Frederick Yin <fred.yin@sjtu.edu.cn> | 2021-10-11 20:57:02 +0800 |
| commit | d3445e61038a3a7ccd2430af386fe4e6ea7879c7 (patch) | |
| tree | 84b3372c7f7fe5f36b6b07d741d0247453b2944d /worker | |
| parent | 1397f8e79c7ae1f0914acc46c713cc69381351db (diff) | |
Fix criteria for redundant files
For individual, .gitea/ is no longer redundant.
For group, .gitea/pull_request_template.md is no longer case sensitive.
Diffstat (limited to 'worker')
| -rw-r--r-- | worker/GitWorker.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/worker/GitWorker.py b/worker/GitWorker.py index 2814bc6..0416ace 100644 --- a/worker/GitWorker.py +++ b/worker/GitWorker.py @@ -112,7 +112,7 @@ class GitWorker(): dirList = list( filter( lambda x: x not in - [".gitignore", ".git", *[f"h{n}" for n in range(20)] + [".gitignore", ".git", ".gitea", *[f"h{n}" for n in range(20)] ] and not GitWorker.isREADME(x), os.listdir(repoDir))) if dirList: self.logger.warning( @@ -213,7 +213,7 @@ class GitWorker(): if os.path.exists(os.path.join(repoDir, ".gitea")): dirList.extend([ fn for fn in os.listdir(os.path.join(repoDir, ".gitea")) - if fn != "pull_request_template.md" + if fn.lower() != "pull_request_template.md" ]) dirList = list( filter( |