From 59dccb1d1346bf8aa1fa7249be8add9cc96152bf Mon Sep 17 00:00:00 2001 From: bbhtt Date: Wed, 2 Jul 2025 08:52:36 +0530 Subject: [PATCH] archive_eol: Lowercase everything before passing to GitHub GH is case insensitive but ref IDs aren't so if a rename was EOL-ed eg. `org.gnome.chess` -> `org.gnome.Chess` and the exclusion had only one of them, the repo would still get EOL-ed as both resolves to the same github repo --- .github/scripts/archive_eol.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/scripts/archive_eol.py b/.github/scripts/archive_eol.py index 575f704..888133e 100644 --- a/.github/scripts/archive_eol.py +++ b/.github/scripts/archive_eol.py @@ -126,7 +126,7 @@ def main() -> None: beta = get_eol_refs("x86_64", "flathub-beta") | get_eol_refs( "aarch64", "flathub-beta" ) - eols = list((stable | beta) - excludes) + eols = {x.lower() for x in (stable | beta)} - {x.lower() for x in excludes} if not eols: return