diff options
author | Pavel Roskin <proski@gnu.org> | 2005-11-29 01:20:49 -0500 |
---|---|---|
committer | Junio C Hamano <junkio@cox.net> | 2005-11-28 23:55:12 -0800 |
commit | 2c4ed386e8861e730037abe4f4d9e032c5c46242 (patch) | |
tree | 116ec987c167ce1489acbe8c1b6161e9e19344f1 /patch-id.c | |
parent | 9ef2b3cbf62d15aa0312bde349347873d7c0f399 (diff) | |
download | git-2c4ed386e8861e730037abe4f4d9e032c5c46242.tar.gz git-2c4ed386e8861e730037abe4f4d9e032c5c46242.tar.xz |
git-clone --shared should imply --local
The "--shared" option to git-clone is silently ignored if "--local" is
not specified. The manual doesn't mention such dependency. Make
"--shared" imply "--local".
Signed-off-by: Pavel Roskin <proski@gnu.org>
Signed-off-by: Junio C Hamano <junkio@cox.net>
Diffstat (limited to 'patch-id.c')
0 files changed, 0 insertions, 0 deletions