summaryrefslogtreecommitdiffstats
path: root/check.php
diff options
context:
space:
mode:
authorRemi Collet <remi@remirepo.net>2020-10-29 08:07:10 +0100
committerRemi Collet <remi@remirepo.net>2020-10-29 08:07:10 +0100
commit75ed83866228feee4476ac7bb7f85da1f8494eb1 (patch)
tree9fe3aea5ed7a797556b696f82d9e97431aa45e0e /check.php
parentc112ae4e34df8a198969bd8f4e0331f7ebf155ab (diff)
add https://mirror.dogado.de/remi/
Diffstat (limited to 'check.php')
-rwxr-xr-xcheck.php1
1 files changed, 1 insertions, 0 deletions
diff --git a/check.php b/check.php
index 183df81b..10571dbd 100755
--- a/check.php
+++ b/check.php
@@ -112,6 +112,7 @@ $mirrors = [
'http://mirror.digitalnova.at/remi/',
'http://mirror.yer.az/remi/',
'https://mirror.dk.team.blue/remi/',
+ 'https://mirror.dogado.de/remi/',
];
$deprecated = [
'http://nl.mirror.babylon.network/remi/',