use mirror.onelab.eu for retrieving keys as build.planet-lab.org is down these days

diff --git a/mirroring/centos5/yum.repos.d/building.repo.in b/mirroring/centos5/yum.repos.d/building.repo.in
index bb06e97..ba0d152 100644 (file)
--- 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 24ffb25..26b0fdd 100644 (file)
--- 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 35e214c..d3bcaf3 100644 (file)
--- 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 ab73a28..ce57e85 100644 (file)
--- 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 d525fe2..bd8c665 100644 (file)
--- 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 56c394d..68e2821 100755 (executable)
--- a/mirroring/mirror.sh
+++ b/mirroring/mirror.sh
@@ -1,5 +1,4 @@
 #!/bin/bash
-# $Id$
 
 COMMAND=$(basename $0)
 DIRNAME=$(dirname $0)