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 /community | |
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 'community')
-rw-r--r-- | community/weblogs/ArneBab/Hurd-showcase-qemu-image.mdwn | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/community/weblogs/ArneBab/Hurd-showcase-qemu-image.mdwn b/community/weblogs/ArneBab/Hurd-showcase-qemu-image.mdwn index af7cbab6..536487f1 100644 --- a/community/weblogs/ArneBab/Hurd-showcase-qemu-image.mdwn +++ b/community/weblogs/ArneBab/Hurd-showcase-qemu-image.mdwn @@ -55,7 +55,7 @@ For that I want to use: ### Tarfs apt install zip libz-dev libbz2-dev - git clone git://git.sv.gnu.org/hurd/incubator.git tarfs + git clone git://git.savannah.gnu.org/hurd/incubator.git tarfs cd tarfs/ git checkout tarfs/master cd tarfs @@ -75,7 +75,7 @@ For that I want to use: ### nsmux - git clone git://git.sv.gnu.org/hurd/incubator.git nsmux + git clone git://git.savannah.gnu.org/hurd/incubator.git nsmux cd nsmux/ git checkout -b nsmux origin/nsmux @@ -96,7 +96,7 @@ For that I want to use: ### clisp - git clone git://git.sv.gnu.org/hurd/incubator.git clisp + git clone git://git.savannah.gnu.org/hurd/incubator.git clisp cd clisp/ git checkout -b clisp origin/clisp |