[PATCH] maint: Update http git cloning instructions.

[Eric Blake]

* HACKING: Git http doesn't like the redirect at git.sv.gnu.org.
* THANKS: Update.
Reported by Mike Dupont.

Signed-off-by: Eric Blake <address@hidden>
---

I've updated the web page, m4 also needed an update:

 ChangeLog |    7 +++++++
 HACKING   |    2 +-
 THANKS    |    1 +
 3 files changed, 9 insertions(+), 1 deletions(-)

diff --git a/ChangeLog b/ChangeLog
index 71ec8ae..8debe17 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,10 @@
+2011-02-07  Eric Blake  <address@hidden>
+
+       maint: Update http git cloning instructions.
+       * HACKING: Git http doesn't like the redirect at git.sv.gnu.org.
+       * THANKS: Update.
+       Reported by Mike Dupont.
+
 2011-02-01  Eric Blake  <address@hidden>

        maint: update to latest gnulib
diff --git a/HACKING b/HACKING
index 081f8b0..7689c21 100644
--- a/HACKING
+++ b/HACKING
@@ -91,7 +91,7 @@ and is not part of a release distribution.

   If you are behind a firewall that blocks the git protocol, you may
   find it useful to do:
-    git config --global url.http://git.sv.gnu.org/r/.insteadof \
+    git config --global url.http://git.savannah.gnu.org/r/.insteadof \
       git://git.sv.gnu.org/
   to force git to transparently rewrite all savannah git references to
   instead use http.
diff --git a/THANKS b/THANKS
index 17d39bb..36e239e 100644
--- a/THANKS
+++ b/THANKS
-- 
1.7.4