From ba91125c7e71fd0f79860b6f1654d0fc9afb4382 Mon Sep 17 00:00:00 2001
From: Luis Guilherme Coelho <lgcoelho@disroot.org>
Date: Wed, 30 Oct 2024 08:14:57 -0300
Subject: [PATCH] operating-systems: buer: Add https://guix.bordeaux.inria.fr

---
 operating-systems/buer.scm | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/operating-systems/buer.scm b/operating-systems/buer.scm
index 04440f0..44a08cd 100644
--- a/operating-systems/buer.scm
+++ b/operating-systems/buer.scm
@@ -220,12 +220,14 @@
                     (discover? #t)
                     (authorized-keys
                      (cons* substitute-key:genenetwork.pub
+                            substitute-key:inria.pub
                             substitute-key:yumiko.pub
                             %default-authorized-guix-keys))
                     (substitute-urls
-                      `("https://ci.guix.gnu.org"
+                      `("https://bordeaux.guix.gnu.org"
                         "https://cuirass.genenetwork.org"
-                        "https://bordeaux.guix.gnu.org"))
+                        "https://ci.guix.gnu.org"
+                        "https://guix.bordeaux.inria.fr"))
                     (extra-options
                       `("--max-jobs=8"
                         "--cores=4"