diff options
| author | Taylor Blau <me@ttaylorr.com> | 2021-01-11 22:25:10 +0300 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2021-01-12 09:03:08 +0300 |
| commit | a4a1ca22ef913adf3de9e72e525a2cd436742009 (patch) | |
| tree | 9025f9953b98fa1d3932516e5a3167551057b00a /ppc | |
| parent | 71ca53e8125e36efbda17293c50027d31681a41f (diff) | |
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 'ppc')
0 files changed, 0 insertions, 0 deletions