From 3ab9fc3f67b38d7c3412d507eb2ea0bbcc4aa94c Mon Sep 17 00:00:00 2001
From: Remi Collet <remi@remirepo.net>
Date: Fri, 22 Nov 2019 14:01:08 +0100
Subject: drop broken remi.repo file

---
 check.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'check.php')

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);
-- 
cgit