From d61e598bcc5646070217e979a658f1d175884df6 Mon Sep 17 00:00:00 2001 From: malmans2 Date: Thu, 10 Oct 2024 16:26:10 +0200 Subject: [PATCH] Forbid unknown H2 --- scripts/validate-headers.py | 3 +++ 1 file changed, 3 insertions(+) diff --git a/scripts/validate-headers.py b/scripts/validate-headers.py index 8bbca36d..5436d93f 100644 --- a/scripts/validate-headers.py +++ b/scripts/validate-headers.py @@ -31,6 +31,9 @@ def validate_headers(path: Path) -> None: for header in headers_count: if line.startswith(header): headers_count[header] += 1 + break + else: + assert not line.startswith("## "), f"{path=!s}: Invalid H2 {line=}" assert title_count == 1, f"{path=!s}: Invalid {title_count=}" for header, header_count in headers_count.items():