From: Junio C Hamano <gitster@pobox.com>
Date: Thu, 21 Jun 2012 21:41:53 +0000 (-0700)
Subject: Merge branch 'jk/clone-local'
X-Git-Tag: v1.7.12-rc0~99
X-Git-Url: http://git.tremily.us/?a=commitdiff_plain;h=486fcbc458ecb1ee906dcb67a8a7bfe933614111;p=git.git

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
---

486fcbc458ecb1ee906dcb67a8a7bfe933614111