summaryrefslogtreecommitdiff
path: root/microkernel
diff options
context:
space:
mode:
authorSamuel Thibault <samuel.thibault@ens-lyon.org>2024-04-07 17:18:07 +0200
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2024-04-07 17:18:07 +0200
commit0db356ea482b3045f4d49b5c7953791bf18573a3 (patch)
treed083419e0fb7f974b4111a5fcd44174d1d221556 /microkernel
parent9553439d7562aad9c3b58a83fc7c0059fc29422a (diff)
Fix git.savannah.gnu.org urls into https
Diffstat (limited to 'microkernel')
-rw-r--r--microkernel/mach/gnumach/building.mdwn2
-rw-r--r--microkernel/viengoos.mdwn2
2 files changed, 2 insertions, 2 deletions
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