From fe41a6c84b5d6e30deaaad815ab7b483fa33674a Mon Sep 17 00:00:00 2001 From: bbhtt Date: Sun, 10 Aug 2025 06:34:40 +0530 Subject: [PATCH] domain_from_appid: Ignore extensions and baseapp these don't get verified --- .github/scripts/domain_from_appid.py | 24 +++++++++++++++++++++++- 1 file changed, 23 insertions(+), 1 deletion(-) diff --git a/.github/scripts/domain_from_appid.py b/.github/scripts/domain_from_appid.py index a4b01eb..db838e7 100644 --- a/.github/scripts/domain_from_appid.py +++ b/.github/scripts/domain_from_appid.py @@ -24,8 +24,30 @@ def demangle(name: str) -> str: def get_domain(appid: str) -> str: + ret_none = "None" + if appid.startswith(LOGINS) or appid.count(".") < 2: - return "None" + return ret_none + + if appid.endswith(".BaseApp"): + return ret_none + + # correctly checking for extension requires checking out + # untrusted code from PRs so rely on some heuristics + + if appid.split(".")[-2].lower() in ( + "addon", + "addons", + "extension", + "extensions", + "plugin", + "plugins", + ): + return ret_none + + if appid.startswith("org.gtk.Gtk3theme."): + return ret_none + elif appid.startswith( ("io.frama.", "page.codeberg.", "io.sourceforge.", "net.sourceforge.") ):