diff options
author | crupest <crupest@crupest.life> | 2024-11-02 21:58:44 +0800 |
---|---|---|
committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2024-11-03 14:57:52 +0100 |
commit | 0823080fe156dc58df2fa26422349627e3b0e90b (patch) | |
tree | 69f7de6f2a42bc29f922b87e3e77870e73a04efe /microkernel | |
parent | 55faa7142268f0fa13ef286270e382753463268a (diff) |
sv.{gnu,nongnu}.org -> savannah.{gnu,nongnu}.org
This a very trivial change. The former is just an alias of latter.
But for new users and contributors like me, it sometimes confuses
them what the difference is between the two ones. Is one old and the
other new? Or something confusing else. So this patch helps them
save some time.
Signed-off-by: Yuqian Yang <crupest@crupest.life>
Message-ID: <8690a9c5-1da4-4adc-92b9-fd8f8dab2c88@crupest.life>
Diffstat (limited to 'microkernel')
-rw-r--r-- | microkernel/viengoos.mdwn | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/microkernel/viengoos.mdwn b/microkernel/viengoos.mdwn index f8643f7f..b8a588b9 100644 --- a/microkernel/viengoos.mdwn +++ b/microkernel/viengoos.mdwn @@ -26,7 +26,7 @@ The source can be downloaded from the *viengoos.git* repository, cf. <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 + git clone git://git.savannah.gnu.org/hurd/viengoos.git Then update to viengoos-on-bare-metal |