summaryrefslogtreecommitdiffstats
path: root/check.php
diff options
context:
space:
mode:
Diffstat (limited to 'check.php')
-rwxr-xr-xcheck.php4
1 files changed, 4 insertions, 0 deletions
diff --git a/check.php b/check.php
index 8218c5e2..4e4cf1de 100755
--- a/check.php
+++ b/check.php
@@ -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])) {