add https://pit1.mirror.jurassicinnovations.com/remi/ for test

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])) {