# HG changeset patch
# User Marco Atzeri <address@hidden>
# Date 1261056076 -3600
# Node ID 0f32cbd78a6d6c5ff10bbfe7d9d4dfd4ddf2a8c5
# Parent  11f18b12a303c8eb65cbf0fe81dfe6cca9cb8d5d
git by http to bypass proxy

diff -r 11f18b12a303 -r 0f32cbd78a6d ChangeLog
--- a/ChangeLog	Tue Dec 15 19:29:13 2009 +0100
+++ b/ChangeLog	Thu Dec 17 14:21:16 2009 +0100
@@ -1,3 +1,7 @@
+2009-12-17  Marco Atzeri  <address@hidden>
+
+	* bootstrap: git through http to pass proxy
+
 2009-12-11  Rik <address@hidden>
 
 	* HACKING: Elaborate which DIRNAME to use for --gnulib-srcdir option.
diff -r 11f18b12a303 -r 0f32cbd78a6d bootstrap
--- a/bootstrap	Tue Dec 15 19:29:13 2009 +0100
+++ b/bootstrap	Thu Dec 17 14:21:16 2009 +0100
@@ -403,7 +403,7 @@
     trap cleanup_gnulib 1 2 13 15
 
     git clone --help|grep depth > /dev/null && shallow='--depth 2' || shallow=
-    git clone $shallow git://git.sv.gnu.org/gnulib ||
+    git clone $shallow http://git.sv.gnu.org/r/gnulib.git ||
       cleanup_gnulib
 
     trap - 1 2 13 15