summaryrefslogtreecommitdiffstats
path: root/remi-php71.repo
diff options
context:
space:
mode:
authorRemi Collet <remi@remirepo.net>2018-01-16 08:09:55 +0100
committerRemi Collet <remi@remirepo.net>2018-01-16 08:09:55 +0100
commit1b543c43299e2a2286333a07734ad1e8c69af914 (patch)
treee8d9a0320005f333fede63fbf1c0c066e1350ce8 /remi-php71.repo
parent5d9b0c2b2b252412473d443bafe29583dda415e8 (diff)
Add the GPG Key used for 2018 distributions
switch http mirrorlist to cdn.remirepo.net fix package License (CC-BY-SA)
Diffstat (limited to 'remi-php71.repo')
-rw-r--r--remi-php71.repo4
1 files changed, 2 insertions, 2 deletions
diff --git a/remi-php71.repo b/remi-php71.repo
index 06d1b98..b27a2af 100644
--- a/remi-php71.repo
+++ b/remi-php71.repo
@@ -5,7 +5,7 @@
name=Remi's PHP 7.1 RPM repository for Enterprise Linux VERSION - $basearch
#baseurl=http://rpms.remirepo.net/enterprise/VERSION/php71/$basearch/
#mirrorlist=https://rpms.remirepo.net/enterprise/VERSION/php71/httpsmirror
-mirrorlist=http://rpms.remirepo.net/enterprise/VERSION/php71/mirror
+mirrorlist=http://cdn.remirepo.net/enterprise/VERSION/php71/mirror
enabled=0
gpgcheck=1
gpgkey=file:///etc/pki/rpm-gpg/RPM-GPG-KEY-remi
@@ -21,7 +21,7 @@ gpgkey=file:///etc/pki/rpm-gpg/RPM-GPG-KEY-remi
name=Remi's PHP 7.1 test RPM repository for Enterprise Linux VERSION - $basearch
#baseurl=http://rpms.remirepo.net/enterprise/VERSION/test71/$basearch/
#mirrorlist=https://rpms.remirepo.net/enterprise/VERSION/test71/httpsmirror
-mirrorlist=http://rpms.remirepo.net/enterprise/VERSION/test71/mirror
+mirrorlist=http://cdn.remirepo.net/enterprise/VERSION/test71/mirror
enabled=0
gpgcheck=1
gpgkey=file:///etc/pki/rpm-gpg/RPM-GPG-KEY-remi