diff --git a/.github/scripts/domain_from_appid.py b/.github/scripts/domain_from_appid.py index 5beb021..a4b01eb 100644 --- a/.github/scripts/domain_from_appid.py +++ b/.github/scripts/domain_from_appid.py @@ -23,9 +23,9 @@ def demangle(name: str) -> str: return name.replace("_", "-") -def get_domain(appid: str) -> str | None: +def get_domain(appid: str) -> str: if appid.startswith(LOGINS) or appid.count(".") < 2: - return None + return "None" elif appid.startswith( ("io.frama.", "page.codeberg.", "io.sourceforge.", "net.sourceforge.") ): diff --git a/.github/workflows/pr-check.yml b/.github/workflows/pr-check.yml index cfbd510..f384b2d 100644 --- a/.github/workflows/pr-check.yml +++ b/.github/workflows/pr-check.yml @@ -118,7 +118,7 @@ jobs: if [ -n "$DOMAIN" ] && [ "$DOMAIN" != "None" ]; then echo "Domain is: $DOMAIN" VERIF_URL="https://$DOMAIN/.well-known/org.flathub.VerifiedApps.txt" - VERIF_COMMENT="If you intend to verify this app, please confirm that you can upload $VERIF_URL. Otherwise, ignore this." + VERIF_COMMENT="If you intend to verify this app, please confirm that you can upload $VERIF_URL. Otherwise, ignore this" DOMAIN_COMMENT="$DOMAIN_COMMENT_PARTIAL $DOMAIN. $VERIF_COMMENT. Please comment if this incorrect." if ! comment_exists_full "$DOMAIN_COMMENT"; then echo "Did not find domain comment, commenting"