From 0db356ea482b3045f4d49b5c7953791bf18573a3 Mon Sep 17 00:00:00 2001
From: Samuel Thibault <samuel.thibault@ens-lyon.org>
Date: Sun, 7 Apr 2024 17:18:07 +0200
Subject: Fix git.savannah.gnu.org urls into https

---
 microkernel/mach/gnumach/building.mdwn | 2 +-
 microkernel/viengoos.mdwn              | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

(limited to 'microkernel')

diff --git a/microkernel/mach/gnumach/building.mdwn b/microkernel/mach/gnumach/building.mdwn
index 432757dc..b23985ac 100644
--- a/microkernel/mach/gnumach/building.mdwn
+++ b/microkernel/mach/gnumach/building.mdwn
@@ -19,7 +19,7 @@ enabled) is around 50 MiB.
 
 ## Getting the Source Code
 
-You can either use the git repository (see <http://git.savannah.gnu.org/git/hurd/>),
+You can either use the git repository (see <https://git.savannah.gnu.org/git/hurd/>),
 
     $ git clone https://git.savannah.gnu.org/git/hurd/gnumach.git/
     $ cd gnumach
diff --git a/microkernel/viengoos.mdwn b/microkernel/viengoos.mdwn
index 66c6ff36..f8643f7f 100644
--- a/microkernel/viengoos.mdwn
+++ b/microkernel/viengoos.mdwn
@@ -23,7 +23,7 @@ to some of the [[issues_uncovered_by_the_Hurd|challenges]].  Knowledge gained
 can then be integrated into something like [[Mach]].
 
 The source can be downloaded from the *viengoos.git* repository, cf.
-<http://git.savannah.gnu.org/gitweb/?p=hurd/viengoos.git>.  You can
+<https://git.savannah.gnu.org/gitweb/?p=hurd/viengoos.git>.  You can
 check it out using, for example:
 
     git clone git://git.sv.gnu.org/hurd/viengoos.git
-- 
cgit v1.2.3