From 61d7689520f97b3b97e3b9cffe91facca532f4c8 Mon Sep 17 00:00:00 2001 From: Vector73 Date: Mon, 3 Jun 2024 14:27:41 +0530 Subject: [PATCH] capitalization: Allow `realm_url` in user-facing strings. --- tools/lib/capitalization.py | 1 + 1 file changed, 1 insertion(+) diff --git a/tools/lib/capitalization.py b/tools/lib/capitalization.py index 4188a6712d..f83040478d 100644 --- a/tools/lib/capitalization.py +++ b/tools/lib/capitalization.py @@ -255,6 +255,7 @@ def check_banned_words(text: str) -> List[str]: if ( "realm_name" in lower_cased_text or "realm_uri" in lower_cased_text + or "realm_url" in lower_cased_text or "remote_realm_host" in lower_cased_text ): continue