From 53d2a6b48edbb7a24305d4ae99e052aa14354b9f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Timoth=C3=A9e=20Ravier?= <tim@siosm.fr>
Date: Wed, 9 Aug 2023 11:17:08 +0200
Subject: [PATCH] Re-add Fedora 40 repo configs

Those repos are not used in Rawhide builds but they make branching
easier.

Fixes: 43fa429 correct reponames
Fixes: a79ee9b rawhide moves on toward f40
---
 fedora-40-updates.repo | 6 ++++++
 fedora-40.repo         | 6 ++++++
 2 files changed, 12 insertions(+)
 create mode 100644 fedora-40-updates.repo
 create mode 100644 fedora-40.repo

diff --git a/fedora-40-updates.repo b/fedora-40-updates.repo
new file mode 100644
index 0000000..8dde6e1
--- /dev/null
+++ b/fedora-40-updates.repo
@@ -0,0 +1,6 @@
+[fedora-40-updates]
+name=Fedora 40 $basearch Updates
+mirrorlist=https://mirrors.fedoraproject.org/metalink?repo=updates-released-f40&arch=$basearch
+enabled=1
+gpgcheck=1
+metadata_expire=1d
diff --git a/fedora-40.repo b/fedora-40.repo
new file mode 100644
index 0000000..c3377d8
--- /dev/null
+++ b/fedora-40.repo
@@ -0,0 +1,6 @@
+[fedora-40]
+name=Fedora 40 $basearch
+mirrorlist=https://mirrors.fedoraproject.org/metalink?repo=fedora-40&arch=$basearch
+enabled=1
+gpgcheck=1
+metadata_expire=1d