drop broken remi.repo file

1 files changed, 1 insertions, 1 deletions

diff --git a/check.php b/check.php
index 7e07ccca..5f525661 100755
--- a/check.php
+++ b/check.php
@@ -126,7 +126,7 @@ $deprecated = array(
 function getRepoTime($uri) {
 	$ctx = stream_context_create([
 		'http' => [
-			'timeout' => 1.5,
+			'timeout' => 4,
 		]
 	]);
 	$txt = @file_get_contents($uri . '/repodata/repomd.xml', false, $ctx);