diff options
| author | Jim Meyering <meyering@meta.com> | 2023-02-04 21:43:30 -0800 |
|---|---|---|
| committer | Jim Meyering <meyering@meta.com> | 2023-02-04 21:43:30 -0800 |
| commit | 6990880a2a69eca31405e0f9a75c38979c6e9ac0 (patch) | |
| tree | 6ad74c7d66340cbc321c74358cd2243ff60909f3 /.gitmodules | |
| parent | 55890dd7327178b8b04cd6aa895f1a9b4fb6ea99 (diff) | |
| download | gzip-6990880a2a69eca31405e0f9a75c38979c6e9ac0.tar.gz | |
maint: prefer https: to git:
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.
Diffstat (limited to '.gitmodules')
| -rw-r--r-- | .gitmodules | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.gitmodules b/.gitmodules index bb9e1ba..552bb0f 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 |