Merge branch 'js/maint-clone-insteadof'
authorJunio C Hamano <gitster@pobox.com>
Tue, 1 Jul 2008 23:22:22 +0000 (16:22 -0700)
committerJunio C Hamano <gitster@pobox.com>
Tue, 1 Jul 2008 23:22:22 +0000 (16:22 -0700)
commit48c12d4b9b5a3cd033e6e8acbd38ffd5e6b13797
tree4b63adfe3edc79c94b6502b9a2841424a150fc82
parent24cd49f627ab0d313f8f7925e1f6f855563fea43
parent5b8063b5b0f56f0da345e8dd7c66d3aced1af673
Merge branch 'js/maint-clone-insteadof'

* js/maint-clone-insteadof:
  clone: respect the settings in $HOME/.gitconfig and /etc/gitconfig
  clone: respect url.insteadOf setting in global configs
builtin-clone.c