mirror of
git://git.sv.gnu.org/sed
synced 2025-04-18 02:37:37 +03:00
8edd37f3c5
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.
4 lines
85 B
Plaintext
4 lines
85 B
Plaintext
[submodule "gnulib"]
|
|
path = gnulib
|
|
url = https://git.savannah.gnu.org/git/gnulib
|