tree 17fa05674ea29f981b460d0dfab361846e42c9b9
parent ffb4b890997b1799f188ec44f005d949feb643a7
author Timo Lotterbach <timo.lotterbach@bmw-carit.de> 1475830328 +0200
committer Timo Lotterbach <timo.lotterbach@bmw-carit.de> 1495804271 +0200

Add option REPO_IGNORE_SSH_INFO to ignore ssh_info

This is required for setups, where Gerrit access using ssh is only available
for some networks.
For network without ssh access, repo will get ssh_info from Gerrit and
use ssh for communications - which will fail. To support this setup
we need to have an option to ignore the ssh_info provided by Gerrit and
use http(s).

Using git insteadOf as alternative results in the inability to add
reviewers using "repo upload --re=...", since the syntax of adding
reviewers differs for ssh and https. repo is assuming an ssh
connection and uses "git push --receive-pack=...", which will fail
since git silently uses https for push operation. repo must be aware
that https is used so it uses "git push remote ...:refs/for/...%r=..."
for upload.

Change-Id: Idd83baef0fb26ffcc9ac65e204b68d323ce177a1