diff options
author | Michael Barabanov <michael.barabanov@windriver.com> | 2014-07-17 00:09:32 -0700 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2014-07-17 11:17:13 -0700 |
commit | f38aa83f9a20765d4617c46283a13684597512e6 (patch) | |
tree | 295c69608c882898bcceb16c67b37de6a67e20c3 /wt-status.c | |
parent | f2c9f21369931c2e4254e49d8f3b3fac5ba8a60b (diff) | |
download | git-mb/local-clone-after-applying-insteadof.tar.gz |
use local cloning if insteadOf makes a local URLmb/local-clone-after-applying-insteadof
Move the is_local logic to the place where origin remote has been setup and
check if the remote url can be used to do local cloning.
This saves a lot of space (and time) in some of the mirroring scenarios that
involve insteadOf rewrites.
Signed-off-by: Michael Barabanov <michael.barabanov@windriver.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'wt-status.c')
0 files changed, 0 insertions, 0 deletions