diff options
| author |  Patrick Steinhardt <ps@pks.im> | 2015-08-10 17:48:25 +0200 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2015-08-10 11:02:11 -0700 |
| commit | adef9561f0c8cf2c974d78adac0ae236e159e49f (patch) | |
| tree | c915c91d374b3951d7ac138f56138aa9c34c7ba6 /builtin/pull.c | |
| parent | clone: do not use port number as dir name (diff) | |
| download | tgif-adef9561f0c8cf2c974d78adac0ae236e159e49f.tar.xz | |
clone: abort if no dir name could be guessed
Due to various components of the URI being stripped off it may
happen that we fail to guess a directory name. We currently error
out with a message that it is impossible to create the working
tree '' in such cases. Instead, error out early with a sensible
error message hinting that a directory name should be specified
manually on the command line.
Signed-off-by: Patrick Steinhardt <ps@pks.im>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'builtin/pull.c')
0 files changed, 0 insertions, 0 deletions