From aead0983a49a1a84d93390de73fc44160c530123 Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Date: Thu, 9 Sep 2010 11:04:29 +0200
Subject: [PATCH] use mirror.onelab.eu for retrieving keys as
 build.planet-lab.org is down these days

---
 mirroring/centos5/yum.repos.d/building.repo.in | 4 ----
 mirroring/f10/yum.repos.d/building.repo.in     | 4 ----
 mirroring/f12/yum.repos.d/building.repo.in     | 4 ----
 mirroring/f13/yum.repos.d/building.repo.in     | 6 +-----
 mirroring/f8/yum.repos.d/building.repo.in      | 6 +-----
 mirroring/mirror.sh                            | 1 -
 6 files changed, 2 insertions(+), 23 deletions(-)

diff --git a/mirroring/centos5/yum.repos.d/building.repo.in b/mirroring/centos5/yum.repos.d/building.repo.in
index bb06e97e..ba0d152c 100644
--- a/mirroring/centos5/yum.repos.d/building.repo.in
+++ b/mirroring/centos5/yum.repos.d/building.repo.in
@@ -1,7 +1,3 @@
-#
-# $Id$
-# $URL$
-#
 [base]
 name=CentOS 5.5 - $basearch - Base
 baseurl=@MIRRORURL@/centos/5.5/os/$basearch/
diff --git a/mirroring/f10/yum.repos.d/building.repo.in b/mirroring/f10/yum.repos.d/building.repo.in
index 24ffb253..26b0fdd1 100644
--- a/mirroring/f10/yum.repos.d/building.repo.in
+++ b/mirroring/f10/yum.repos.d/building.repo.in
@@ -1,7 +1,3 @@
-#
-# $Id$
-# $URL$
-#
 [fedora]
 name=Fedora 10 - $basearch
 baseurl=@MIRRORURL@/fedora/releases/10/Everything/$basearch/os/
diff --git a/mirroring/f12/yum.repos.d/building.repo.in b/mirroring/f12/yum.repos.d/building.repo.in
index 35e214c8..d3bcaf3d 100644
--- a/mirroring/f12/yum.repos.d/building.repo.in
+++ b/mirroring/f12/yum.repos.d/building.repo.in
@@ -1,7 +1,3 @@
-#
-# $Id$
-# $URL$
-#
 [fedora]
 name=Fedora 12 - $basearch
 baseurl=@MIRRORURL@/fedora/releases/12/Everything/$basearch/os/
diff --git a/mirroring/f13/yum.repos.d/building.repo.in b/mirroring/f13/yum.repos.d/building.repo.in
index ab73a288..ce57e855 100644
--- a/mirroring/f13/yum.repos.d/building.repo.in
+++ b/mirroring/f13/yum.repos.d/building.repo.in
@@ -1,14 +1,10 @@
-#
-# $Id: building.repo.in 18191 2010-06-03 20:35:36Z caglar $
-# $URL: https://svn.planet-lab.org/svn/build/trunk/mirroring/f13/yum.repos.d/building.repo.in $
-#
 [fedora]
 name=Fedora 13 - $basearch
 baseurl=@MIRRORURL@/fedora/releases/13/Everything/$basearch/os/
 enabled=1
 metadata_expire=7d
 gpgcheck=1
-gpgkey=http://build.planet-lab.org/keys/RPM-GPG-KEY-fedora-13-primary
+gpgkey=http://build.onelab.eu/keys/RPM-GPG-KEY-fedora-13-primary
 
 [updates]
 name=Fedora 13 - $basearch - Updates
diff --git a/mirroring/f8/yum.repos.d/building.repo.in b/mirroring/f8/yum.repos.d/building.repo.in
index d525fe27..bd8c6654 100644
--- a/mirroring/f8/yum.repos.d/building.repo.in
+++ b/mirroring/f8/yum.repos.d/building.repo.in
@@ -1,13 +1,9 @@
-#
-# $Id$
-# $URL$
-#
 [fedora]
 name=Fedora 8 - $basearch
 baseurl=@MIRRORURL@/fedora/releases/8/Everything/$basearch/os/
 enabled=1
 gpgcheck=1
-gpgkey=http://build.planet-lab.org/fedora/releases/8/Everything/$basearch/os/RPM-GPG-KEY-fedora http://build.planet-lab.org/fedora/releases/8/Everything/$basearch/os/RPM-GPG-KEY
+gpgkey=http://build.onelab.eu/fedora/releases/8/Everything/$basearch/os/RPM-GPG-KEY-fedora http://build.onelab.eu/fedora/releases/8/Everything/$basearch/os/RPM-GPG-KEY
 
 [updates]
 name=Fedora 8 - $basearch - Updates
diff --git a/mirroring/mirror.sh b/mirroring/mirror.sh
index 56c394d7..68e28212 100755
--- a/mirroring/mirror.sh
+++ b/mirroring/mirror.sh
@@ -1,5 +1,4 @@
 #!/bin/bash
-# $Id$
 
 COMMAND=$(basename $0)
 DIRNAME=$(dirname $0)
-- 
2.47.0