summaryrefslogtreecommitdiff
path: root/Documentation/technical
diff options
context:
space:
mode:
authorJunio C Hamano <gitster@pobox.com>2014-07-23 18:35:49 (GMT)
committerJunio C Hamano <gitster@pobox.com>2014-07-23 18:35:49 (GMT)
commitbc88defa2f9f92324106dca48126039246ab00e1 (patch)
treef66da3d6ca42a3c8436ceab2b04f4200410206c7 /Documentation/technical
parentc3d2bc720cd56af5a18eec219890dcff701680f8 (diff)
parentf38aa83f9a20765d4617c46283a13684597512e6 (diff)
downloadgit-bc88defa2f9f92324106dca48126039246ab00e1.zip
git-bc88defa2f9f92324106dca48126039246ab00e1.tar.gz
git-bc88defa2f9f92324106dca48126039246ab00e1.tar.bz2
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
Diffstat (limited to 'Documentation/technical')
0 files changed, 0 insertions, 0 deletions