diff options
| author |  Junio C Hamano <gitster@pobox.com> | 2014-07-23 11:35:49 -0700 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2014-07-23 11:35:49 -0700 |
| commit | bc88defa2f9f92324106dca48126039246ab00e1 (patch) | |
| tree | f66da3d6ca42a3c8436ceab2b04f4200410206c7 /Documentation/gitignore.txt | |
| parent | Merge branch 'jk/tag-sort' (diff) | |
| parent | use local cloning if insteadOf makes a local URL (diff) | |
| download | tgif-bc88defa2f9f92324106dca48126039246ab00e1.tar.xz | |
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/gitignore.txt')
0 files changed, 0 insertions, 0 deletions