From 1bd6cd70ee5748bd70e3965e40829fce69922ab3 Mon Sep 17 00:00:00 2001 From: Clement Rey Date: Wed, 24 Apr 2024 16:33:48 +0200 Subject: [PATCH] no need for lint bypass anymore --- scripts/lint.py | 6 ------ 1 file changed, 6 deletions(-) diff --git a/scripts/lint.py b/scripts/lint.py index 60584707c615..5cf77fb98bd2 100755 --- a/scripts/lint.py +++ b/scripts/lint.py @@ -979,9 +979,6 @@ def lint_file(filepath: str, args: Any) -> int: def lint_crate_docs(should_ignore: Callable[[Any], bool]) -> int: """Make sure ARCHITECTURE.md talks about every single crate we have.""" - # These crates will replace existing ones and won't ever be published as-is. - tmp_crates = ["re_query"] - crates_dir = Path("crates") architecture_md_file = Path("ARCHITECTURE.md") @@ -1002,9 +999,6 @@ def lint_crate_docs(should_ignore: Callable[[Any], bool]) -> int: if crate_name in listed_crates: del listed_crates[crate_name] - if should_ignore(crate) or crate.name in tmp_crates: - continue - if not re.search(r"\b" + crate_name + r"\b", architecture_md): print(f"{architecture_md_file}: missing documentation for crate {crate.name}") error_count += 1