diff options
| author | Taylor Blau <me@ttaylorr.com> | 2021-01-11 20:25:10 +0100 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2021-01-12 07:03:08 +0100 |
| commit | a4a1ca22ef913adf3de9e72e525a2cd436742009 (patch) | |
| tree | 9025f9953b98fa1d3932516e5a3167551057b00a /Documentation/git-clone.txt | |
| parent | Git 2.30 (diff) | |
| download | git-a4a1ca22ef913adf3de9e72e525a2cd436742009.tar.xz git-a4a1ca22ef913adf3de9e72e525a2cd436742009.zip | |
Documentation/git-clone.txt: document race with --local
When running 'git clone --local', the operation may fail if another
process is modifying the source repository. Document that this race
condition is known to hopefully help anyone who may run into it.
Suggested-by: Junio C Hamano <gitster@pobox.com>
Signed-off-by: Taylor Blau <me@ttaylorr.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/git-clone.txt')
| -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 |