diff options
| author | Jim Meyering <meyering@meta.com> | 2023-02-04 21:43:48 -0800 |
|---|---|---|
| committer | Jim Meyering <meyering@meta.com> | 2023-02-04 21:43:48 -0800 |
| commit | 8edd37f3c5400b7a2c33003f070b420ebee4d832 (patch) | |
| tree | 867917958a9e70f25f262eb182130a2bbf33981b | |
| parent | fd9898dc4b5d6cccfa4f65a819263113998d466c (diff) | |
| download | sed-master.tar.gz | |
The idea is to defend against some adversary-in-the-middle attacks.
Also prefer git.savannah.gnu.org over its shorter alias, git.sv.gnu.org
to avoid a warning e.g., from git clone.
Also, drop any final ".git" suffix on the resulting URIs.
Inspired by Paul Eggert's nearly identical changes to coreutils.
| -rw-r--r-- | .gitmodules | 2 | ||||
| -rw-r--r-- | README-hacking | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/.gitmodules b/.gitmodules index e01de0a..bdc978c 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,3 +1,3 @@ [submodule "gnulib"] path = gnulib - url = git://git.sv.gnu.org/gnulib.git + url = https://git.savannah.gnu.org/git/gnulib diff --git a/README-hacking b/README-hacking index bc48463..bd54844 100644 --- a/README-hacking +++ b/README-hacking @@ -27,7 +27,7 @@ few prerequisites, later, a plain 'git pull && make' typically suffices. You can get a copy of the source repository like this: - $ git clone git://git.sv.gnu.org/<packagename> + $ git clone https://git.savannah.gnu.org/git/<packagename> $ cd <packagename> where '<packagename>' stands for 'coreutils' or whatever other package |