summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorRemi Collet <remi@remirepo.net>2025-01-10 13:55:51 +0100
committerRemi Collet <remi@php.net>2025-01-10 13:55:51 +0100
commitbfe28f7239ef2310f3d7bba1c5705331e3fd24b2 (patch)
treeb5216a13d0e426e09ca26f7b73bcf73a16ba2be3
parent8be1c794f7d002e2bf2cdd4c21d6a27f9d293b81 (diff)
refresh repo listHEADmaster
-rwxr-xr-xcheck.php8
1 files changed, 4 insertions, 4 deletions
diff --git a/check.php b/check.php
index b04709e5..2997a06b 100755
--- a/check.php
+++ b/check.php
@@ -35,12 +35,12 @@ if ($cli) {
<?php
}
$repos = [
+ 'enterprise/9' => 'Enterprise Linux 9',
'enterprise/8' => 'Enterprise Linux 8',
'enterprise/7' => 'Enterprise Linux 7',
- 'enterprise/6' => 'Enterprise Linux 6',
- 'fedora/31' => 'Fedora 31',
- 'fedora/30' => 'Fedora 30',
- 'fedora/29' => 'Fedora 29',
+ 'fedora/41' => 'Fedora 41',
+ 'fedora/40' => 'Fedora 40',
+ 'fedora/39' => 'Fedora 39',
];
$subs = [
'remi',