docs/clone: mention that --local may be ignored
authorJeff King <peff@peff.net>
Wed, 30 May 2012 11:09:08 +0000 (07:09 -0400)
committerJunio C Hamano <gitster@pobox.com>
Wed, 30 May 2012 16:51:14 +0000 (09:51 -0700)
commit9197a10c7188a74356384a7ce46e05104ac68240
treeff76eff29a6929706deb3e5b1f44e31b62b7cd1a
parent0680f745ac3322bd99653c3cbc1cd765ee0db5c0
docs/clone: mention that --local may be ignored

The --local flag is not "treat this like a local
repository", but rather "if we are local, turn on
optimizations". Therefore it does nothing in the case of:

  git clone --local file:///path/to/repo

Let's make that more clear in the documentation.

Signed-off-by: Jeff King <peff@peff.net>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Documentation/git-clone.txt