[解決済み] git:` の URL を `http:` の URL に変換する方法

質問

httpプロキシの背後で作業しています。Androidのソースツリーをquot;repo"ツールでクローンしようとしています。

このツールは git:// のURLは、たとえ http:// のURLでも動作します。その結果、ソースをダウンロードすることができません。

を強制することは可能でしょうか？ git を常に使用するように http ?

編集する http_proxy は正しく設定されています。例えば、このように動作します。

git clone http://android.git.kernel.org/platform/manifest.git

しかし、これはそうではありません（errno=Connection timed out）。

git clone git://android.git.kernel.org/platform/manifest.git

そこで この答え はあまり役に立ちません。

解決方法を教えてください。

GitHubのデフォルトプロトコルを書き換える例です。

git config --global url.https://github.com/.insteadOf git://github.com/

正確な値は、使用するプロトコルに依存します。たとえば、上記のコマンドで git over ssh を使用する場合は次のようになります。

git config --global url.https://github.com/.insteadOf [email protected]:

のGitドキュメント url.<base>.insteadOf :

git config [--global] url.<base>.insteadOf <other_url>

この値で始まるURLは、代わりに次の値で始まるように書き換えられます。 <base> . 複数の insteadOf 文字列が与えられた URL にマッチする場合、最も長いマッチが使用されます。