]> granicus.if.org Git - git/commit
projects / git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f2c9f21) | patch
use local cloning if insteadOf makes a local URL
authorMichael Barabanov <michael.barabanov@windriver.com>
Thu, 17 Jul 2014 07:09:32 +0000 (00:09 -0700)
committerJunio C Hamano <gitster@pobox.com>
Thu, 17 Jul 2014 18:17:13 +0000 (11:17 -0700)
commitf38aa83f9a20765d4617c46283a13684597512e6
tree295c69608c882898bcceb16c67b37de6a67e20c3tree | snapshot
parentf2c9f21369931c2e4254e49d8f3b3fac5ba8a60bcommit | diff
use local cloning if insteadOf makes a local URL

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>
builtin/clone.c diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.