From: Junio C Hamano <gitster@pobox.com>
Date: Thu, 29 May 2014 18:49:53 GMT
Subject: Re: .gitmodules containing SSH clone URLs should fall back to HTTPS when SSH key is not valid/existent
Message-ID: <xmqqbnugbesu.fsf@gitster.dls.corp.google.com>
In-Reply-To: <53871B8D.40608@web.de>

Jens Lehmann <Jens.Lehmann@web.de> writes:

> Am 29.05.2014 04:07, schrieb Jonathan Leonard:
>> The title pretty much says it all.
>
> But you do not give much information about your special use
> case.

Perhaps "git grep insteadOf Documentation/" is all that is needed?