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

---
 user/Sergio_Lopez.mdwn | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'user/Sergio_Lopez.mdwn')

diff --git a/user/Sergio_Lopez.mdwn b/user/Sergio_Lopez.mdwn
index ab5ed1f1..5075b8e9 100644
--- a/user/Sergio_Lopez.mdwn
+++ b/user/Sergio_Lopez.mdwn
@@ -30,7 +30,7 @@ This work has two objectives:
 #### Trying it
 I've commited this work to this branch:
 
-<http://git.savannah.gnu.org/cgit/hurd/gnumach.git/log/?h=k0ro/advisory_pageout/master>
+<https://git.savannah.gnu.org/cgit/hurd/gnumach.git/log/?h=k0ro/advisory_pageout/master>
 
 You'll also need the counterpart for user space:
 
-- 
cgit v1.2.3