diff options
| author | Pavel Roskin <proski@gnu.org> | 2005-11-29 09:20:49 +0300 |
|---|---|---|
| committer | Junio C Hamano <junkio@cox.net> | 2005-11-29 10:55:12 +0300 |
| commit | 2c4ed386e8861e730037abe4f4d9e032c5c46242 (patch) | |
| tree | 116ec987c167ce1489acbe8c1b6161e9e19344f1 /http-push.c | |
| parent | 9ef2b3cbf62d15aa0312bde349347873d7c0f399 (diff) | |
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 'http-push.c')
0 files changed, 0 insertions, 0 deletions