Junio C Hamano 486fcbc458 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
2012-06-21 14:41:53 -07:00
..
2012-03-28 08:47:23 -07:00
2009-10-01 08:21:35 -04:00
2012-06-17 14:07:15 -07:00
2011-08-08 09:30:12 -07:00
2012-06-19 11:35:19 -07:00
2009-04-06 00:27:09 -07:00
2012-04-20 15:49:16 -07:00
2012-05-03 15:13:31 -07:00
2012-06-19 11:35:19 -07:00
2012-03-05 11:32:19 -08:00
2011-12-12 11:52:31 -08:00
2012-05-07 13:28:34 -07:00
2011-09-06 11:42:12 -07:00
2011-05-19 10:55:54 -07:00
2011-03-11 10:59:16 -05:00
2012-04-27 09:26:39 -07:00
2012-06-19 11:35:19 -07:00
2010-07-05 13:39:02 -07:00
2012-06-19 11:35:19 -07:00
2012-06-08 08:32:20 -07:00
2010-07-20 16:59:17 -07:00
2012-06-19 11:35:19 -07:00