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.

Signed-off-by: Eric Blake <eblake@redhat.com>

2 files changed, 2 insertions, 1 deletions

diff --git a/HACKING b/HACKING
index 71736ff0..f8229614 100644
--- a/HACKING
+++ b/HACKING
@@ -109,7 +109,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 69a51a24..0fa1a1b6 100644
--- a/THANKS
+++ b/THANKS
@@ -102,6 +102,7 @@ Mehul Sanghvi           mehul.sanghvi@gmail.com
 Michael Fetterman       mafetter@ichips.intel.com
 Michael L. Welcome      welcome@bigbird.llnl.gov
 Mike Andrews            kramer@fragile.termfrost.org
+Mike Dupont             jamesmikedupont@googlemail.com
 Mike Frysinger          vapier@gentoo.org
 Mike Howard             mike@clove.com
 Mike Lijewski           lijewski@theory.tc.cornell.edu