diff options
| author | Junio C Hamano <gitster@pobox.com> | 2012-06-21 14:41:53 -0700 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2012-06-21 14:41:53 -0700 |
| commit | 486fcbc458ecb1ee906dcb67a8a7bfe933614111 (patch) | |
| tree | 82f3cc51ee866448684b81ecebfb82603533bc36 /patch-ids.h | |
| parent | cf5c75d3ea0541bf7fe8ef89938f54a491edc023 (diff) | |
| parent | 189260b190be845f0e24ede93f9ac539627d72fa (diff) | |
| download | git-486fcbc458ecb1ee906dcb67a8a7bfe933614111.tar.gz | |
Merge branch 'jk/clone-local'
"git clone --local $path" started its life as an experiment to
optionally use link/copy when cloning a repository on the disk, but
we didn't deprecate it after we made the option a no-op to always
use the optimization.
The command learns "--no-local" option to turn this off, as a more
explicit alternative over use of file:// URL.
* jk/clone-local:
clone: allow --no-local to turn off local optimizations
docs/clone: mention that --local may be ignored
Diffstat (limited to 'patch-ids.h')
0 files changed, 0 insertions, 0 deletions