git.99rst.org / git.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(merge: c3d2bc7 f38aa83)
Merge branch 'mb/local-clone-after-applying-insteadof'
authorJunio C Hamano <redacted>
Wed, 23 Jul 2014 18:35:49 +0000 (11:35 -0700)
committerJunio C Hamano <redacted>
Wed, 23 Jul 2014 18:35:49 +0000 (11:35 -0700)
commitbc88defa2f9f92324106dca48126039246ab00e1
treef66da3d6ca42a3c8436ceab2b04f4200410206c7tree | snapshot
parentc3d2bc720cd56af5a18eec219890dcff701680f8commit | diff
parentf38aa83f9a20765d4617c46283a13684597512e6commit | diff
Merge branch 'mb/local-clone-after-applying-insteadof'

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
git clone https://git.99rst.org/PROJECT