diff options
| author | Junio C Hamano <gitster@pobox.com> | 2021-02-05 16:31:26 -0800 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2021-02-05 16:31:26 -0800 |
| commit | 9d36b1e9c2113c88003b668ba33cd2c9869a5c55 (patch) | |
| tree | 2db1c2cfd0ecf7de3f39172e579403c296c10980 | |
| parent | 4f985d5aeb9667475903a3555d6b93f223d9ba8e (diff) | |
| parent | a4a1ca22ef913adf3de9e72e525a2cd436742009 (diff) | |
Merge branch 'tb/local-clone-race-doc' into maint
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 |