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
This commit is contained in:
parent
de20eea7ff
commit
59dccb1d13
1 changed files with 1 additions and 1 deletions
2
.github/scripts/archive_eol.py
vendored
2
.github/scripts/archive_eol.py
vendored
|
|
@ -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
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue