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 /open_issues | |
| 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 'open_issues')
| -rw-r--r-- | open_issues/git-core-2.mdwn | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/open_issues/git-core-2.mdwn b/open_issues/git-core-2.mdwn index 5afda5e8..e973ae10 100644 --- a/open_issues/git-core-2.mdwn +++ b/open_issues/git-core-2.mdwn @@ -76,7 +76,7 @@ Still seen. out that both clones do have some decompression errors. (Some files are missing chunks in /both/ cloned repositories). <braunr> where did you clone it from ? - <sea`> git.sv.gnu.org/hurd/hurd.git + <sea`> git.savannah.gnu.org/hurd/hurd.git <braunr> hum decompression errors ? <braunr> can you paste them please ? <sea`> Hmm, I can clone again and show you an example if I find one |