From a9304375916cb7b23613d7868c5876d5872a6ab7 Mon Sep 17 00:00:00 2001 From: Remi Collet Date: Thu, 18 Jul 2024 07:55:08 +0200 Subject: add https://pit1.mirror.jurassicinnovations.com/remi/ for test --- check.php | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'check.php') 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 "