Как я могу исключить имена хостов для использования прокси по умолчанию в git?

Question

Есть ли способ исключить настроенный по умолчанию http-прокси из того, что он используется при извлечении из локального (корпоративного сетевого) хранилища git?

У нас есть git-репозиторий, который доступен только тогда, когда в git не используется прокси. Нам нужно получить доступ к этому через http.

Мой текущий .gitconfig выглядит так:

[user]
    name = username
    email = username@corporate.net
[core]
    autocrlf = true
[http]
    proxy = http://proxy.corporate.net:8080

Я хочу, чтобы git игнорировал прокси-сервер всякий раз, когда я, например, взаимодействую с репозиториями, расположенными по адресу http://ourGitRepository.corporate.net .

Answer 1

В вашем файле .gitconfig попробуйте: (sslVerify совершенно необязательно, у меня были проблемы с сертификатами MITM, которые не проверялись, поэтому я оставил это значение false, поскольку быстрый выигрыш, хотя и опасный для безопасности)

[http]
    #sslVerify = false
    proxy = http://proxy.corporate.net:8080
[http "http://ourGitRepository.corporate.net/"]
    #sslVerify = false
    proxy = 

Начиная с версии 1.8.5 ссылка: https://github.com/git/git/blob/bb80ee09974667a1db6bbc5e33574ed869b76a88/Documentation/RelNotes/1.8.5.txt#L69-L78