fix: ignored tag

This commit is contained in:
2023-09-23 22:55:43 +08:00
parent 212f44892b
commit 3193c88779

View File

@ -220,7 +220,7 @@ class Project:
list(self.redactSourcesYield())
def classify(self, sample: Path, tag: str):
if tag not in self.tags:
if tag != "ignored" and tag not in self.tags:
raise ValueError(f'Unknown tag "{tag}"')
with self.__sessionmaker() as session: