From 411d62fd8780bb4d7b7dee3fea154b84411b1fb9 Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@inria.fr>
Date: Mon, 6 Jan 2014 16:12:52 +0100
Subject: [PATCH] for f20

---
 mirroring/f20/yum.repos.d/building.repo.in | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)
 create mode 100644 mirroring/f20/yum.repos.d/building.repo.in

diff --git a/mirroring/f20/yum.repos.d/building.repo.in b/mirroring/f20/yum.repos.d/building.repo.in
new file mode 100644
index 00000000..a272efdd
--- /dev/null
+++ b/mirroring/f20/yum.repos.d/building.repo.in
@@ -0,0 +1,16 @@
+[fedora]
+name=Fedora 20 - $basearch
+baseurl=@MIRRORURL@/fedora/releases/20/Everything/$basearch/os/
+enabled=1
+metadata_expire=7d
+gpgcheck=1
+gpgkey=http://mirror.onelab.eu/keys/RPM-GPG-KEY-fedora-20-primary
+
+[updates]
+name=Fedora 20 - $basearch - Updates
+baseurl=@MIRRORURL@/fedora/updates/20/$basearch/
+enabled=1
+metadata_expire=7d
+gpgcheck=1
+gpgkey=http://mirror.onelab.eu/keys/RPM-GPG-KEY-fedora-20-primary
+
-- 
2.47.0