From bbedb84d9e4078565ada36db09320830511bd6b4 Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@inria.fr>
Date: Tue, 8 Oct 2013 11:59:15 +0200
Subject: [PATCH] cleanup old distros

---
 mirroring/f10/yum.repos.d/building.repo.in | 16 ----------------
 mirroring/f8/yum.repos.d/building.repo.in  | 20 --------------------
 2 files changed, 36 deletions(-)
 delete mode 100644 mirroring/f10/yum.repos.d/building.repo.in
 delete mode 100644 mirroring/f8/yum.repos.d/building.repo.in

diff --git a/mirroring/f10/yum.repos.d/building.repo.in b/mirroring/f10/yum.repos.d/building.repo.in
deleted file mode 100644
index 26b0fdd1..00000000
--- a/mirroring/f10/yum.repos.d/building.repo.in
+++ /dev/null
@@ -1,16 +0,0 @@
-[fedora]
-name=Fedora 10 - $basearch
-baseurl=@MIRRORURL@/fedora/releases/10/Everything/$basearch/os/
-enabled=1
-gpgcheck=1
-gpgkey=http://mirror.onelab.eu/keys/RPM-GPG-KEY-fedora-10-primary
-
-[updates]
-name=Fedora 10 - $basearch - Updates
-baseurl=@MIRRORURL@/fedora/updates/10/$basearch/
-enabled=1
-# turn off gpg checks; when building a f10 vserver in a f12 host, 
-#this file is generally not present when installing the very first packages
-gpgcheck=0
-#gpgkey=file:///etc/pki/rpm-gpg/RPM-GPG-KEY-fedora
-
diff --git a/mirroring/f8/yum.repos.d/building.repo.in b/mirroring/f8/yum.repos.d/building.repo.in
deleted file mode 100644
index 9a112ef4..00000000
--- a/mirroring/f8/yum.repos.d/building.repo.in
+++ /dev/null
@@ -1,20 +0,0 @@
-[fedora]
-name=Fedora 8 - $basearch
-baseurl=@MIRRORURL@/fedora/releases/8/Everything/$basearch/os/
-enabled=1
-gpgcheck=1
-gpgkey=@MIRRORURL@/fedora/releases/8/Everything/$basearch/os/RPM-GPG-KEY-fedora @MIRRORURL@/fedora/releases/8/Everything/$basearch/os/RPM-GPG-KEY
-
-[updates]
-name=Fedora 8 - $basearch - Updates
-baseurl=@MIRRORURL@/fedora/updates/8/$basearch/
-enabled=1
-gpgcheck=1
-gpgkey=file:///etc/pki/rpm-gpg/RPM-GPG-KEY-fedora
-
-[updates-newkey]
-name=Fedora 8 - $basearch - Updates Newkey
-baseurl=@MIRRORURL@/fedora/updates/8/$basearch.newkey/
-enabled=1
-gpgcheck=0
-gpgkey=file:///etc/pki/rpm-gpg/RPM-GPG-KEY-fedora-8-and-9
-- 
2.43.0