diff options
author | Junio C Hamano <gitster@pobox.com> | 2021-01-15 21:48:47 -0800 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2021-01-15 21:48:47 -0800 |
commit | 8782bfbf01a367e77079c4d835328ca4c5da1561 (patch) | |
tree | 6947381de1efd01b2463ecd7a66aadd7acc42b93 | |
parent | Merge branch 'bc/doc-status-short' (diff) | |
parent | Documentation/git-clone.txt: document race with --local (diff) | |
download | tgif-8782bfbf01a367e77079c4d835328ca4c5da1561.tar.xz |
Merge branch 'tb/local-clone-race-doc'
Doc update.
* tb/local-clone-race-doc:
Documentation/git-clone.txt: document race with --local
-rw-r--r-- | Documentation/git-clone.txt | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Documentation/git-clone.txt b/Documentation/git-clone.txt index 876aedcd47..02d9c19cec 100644 --- a/Documentation/git-clone.txt +++ b/Documentation/git-clone.txt @@ -57,6 +57,10 @@ repository is specified as a URL, then this flag is ignored (and we never use the local optimizations). Specifying `--no-local` will override the default when `/path/to/repo` is given, using the regular Git transport instead. ++ +*NOTE*: this operation can race with concurrent modification to the +source repository, similar to running `cp -r src dst` while modifying +`src`. --no-hardlinks:: Force the cloning process from a repository on a local |