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 /init.cfg | |
| 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.
Diffstat (limited to 'init.cfg')
0 files changed, 0 insertions, 0 deletions