Merge branch 'mb/local-clone-after-applying-insteadof' into next
commitebe07c255d531d58b0f416e06888867f99a4f25f
authorJunio C Hamano <gitster@pobox.com>
Mon, 21 Jul 2014 19:36:14 +0000 (21 12:36 -0700)
committerJunio C Hamano <gitster@pobox.com>
Mon, 21 Jul 2014 19:36:14 +0000 (21 12:36 -0700)
tree142a8eeba1a3c0e28f2d77a12abcc959e7a8bfda
parent7312ddc17fe9cc4d1fee4ad5b8ac7d8a380f3d27
parentf38aa83f9a20765d4617c46283a13684597512e6
Merge branch 'mb/local-clone-after-applying-insteadof' into next

Apply the "if cloning from a local disk, physically copy repository
using hardlinks, unless otherwise told not to with --no-local"
optimization when url.*.insteadOf mechanism rewrites a "git clone
$URL" that refers to a repository over the network to a clone from
a local disk.

* mb/local-clone-after-applying-insteadof:
  use local cloning if insteadOf makes a local URL
builtin/clone.c