Merge branch 'mb/local-clone-after-applying-insteadof'
authorJunio C Hamano <gitster@pobox.com>
Wed, 23 Jul 2014 18:35:49 +0000 (11:35 -0700)
committerJunio C Hamano <gitster@pobox.com>
Wed, 23 Jul 2014 18:35:49 +0000 (11:35 -0700)
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

No differences found