diff options
author | Remi Collet <remi@remirepo.net> | 2024-07-18 07:55:08 +0200 |
---|---|---|
committer | Remi Collet <remi@php.net> | 2024-07-18 07:55:08 +0200 |
commit | a9304375916cb7b23613d7868c5876d5872a6ab7 (patch) | |
tree | bc73caa3bb09bca48bca0d020efb28c1169fc6d5 /check.php | |
parent | 709f46217572f0d351b8f3ce896f511a719d94b6 (diff) |
add https://pit1.mirror.jurassicinnovations.com/remi/ for test
Diffstat (limited to 'check.php')
-rwxr-xr-x | check.php | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -100,6 +100,9 @@ $mirrors = [ 'https://muug.ca/mirror/remi/', 'https://mirror.netzwerge.de/remi/', ]; +$testing = [ + 'https://pit1.mirror.jurassicinnovations.com/remi/', +]; $disabled = [ 'https://remi.mivzakim.net/', // 2024-04-03 'https://mirror.usi.edu/pub/remi/', // 2024-04-03 @@ -195,6 +198,7 @@ if (!$cli) { } $pids = array(); $ref = getRepoTime($full); +$mirrors = array_merge($mirrors, $testing); if ($ref) { if (!$cli) echo "<ul class='pkglist'>\n"; if (isset($_SERVER['argv'][1])) { |