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.
Induced by running these commands:
git grep -l 'git clone git:'|xargs perl -pi -e \
  's{(git clone) git://(\S+)/([^/]+)\b}{$1 https://$2/git/$3}'
git grep -l git.sv.gn \
  |xargs perl -pi -e 's{git\.sv\.gnu}{git\.savannah\.gnu}'
perl -pi -e \
  's{(url =) git://(\S+)/([^/.]+)(\.git)?\b}{$1 https://$2/git/$3}'\
  .gitmodules
* .gitmodules: As above.
* HACKING: Likewise.
* README-hacking: Likewise.
* src/grep.c (main): Likewise.

4 files changed, 5 insertions, 5 deletions

diff --git a/.gitmodules b/.gitmodules
index bb9e1baf..552bb0f2 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/HACKING b/HACKING
index 9a69b9cb..02947132 100644
--- a/HACKING
+++ b/HACKING
@@ -12,7 +12,7 @@ Use the latest upstream sources
 Base any changes you make on the latest upstream sources.
 You can get a copy of the latest with this command:
 
-    git clone git://git.sv.gnu.org/grep
+    git clone https://git.savannah.gnu.org/git/grep
 
 That downloads the entire repository, including revision control history.
 Once downloaded, you can get incremental updates by running one of
@@ -83,7 +83,7 @@ Make your changes on a private "topic" branch
 =============================================
 So you checked out grep like this:
 
-  git clone git://git.sv.gnu.org/grep
+  git clone https://git.savannah.gnu.org/git/grep
 
 Now, cd into the grep/ directory and run:
 
diff --git a/README-hacking b/README-hacking
index e3e6a0b1..3d95d104 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
diff --git a/src/grep.c b/src/grep.c
index ebb09a3b..7547b641 100644
--- a/src/grep.c
+++ b/src/grep.c
@@ -2829,7 +2829,7 @@ main (int argc, char **argv)
       version_etc (stdout, getprogname (), PACKAGE_NAME, VERSION,
                    (char *) NULL);
       puts (_("Written by Mike Haertel and others; see\n"
-              "<https://git.sv.gnu.org/cgit/grep.git/tree/AUTHORS>."));
+              "<https://git.savannah.gnu.org/cgit/grep.git/tree/AUTHORS>."));
       return EXIT_SUCCESS;
     }