On 25 Jul 2013, at 23:10, Antoine Pelisse <[email protected]> wrote:
> On Thu, Jul 25, 2013 at 10:40 PM, Felipe Contreras > <[email protected]> wrote: >> That's true. Maybe something like: >> >> for x in repos: >> local_hg = os.path.join(shared_path, x, 'clone', '.hg') >> if os.path.exists(local_hg): >> shutil.copytree(local_hg, hg_path) >> break > > I think that would work yupp, might work, but holding you liable to the same optimality restriction you imposed on me before: This will still refetch the whole repo once if it was cloned from a local hg repo first (they don't have a clone subdir). Shouldn't we then also go through the additional effort and copy the .hg dir from local remotes when a "remote remote" is added and there's no other remote remote? j -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to [email protected] More majordomo info at http://vger.kernel.org/majordomo-info.html
