Використовуйте псевдонім SSH у Git remote, коли цей псевдонім володіє маршрутом через проксі:

Host code-via-proxy
    HostName git.example.net
    User git
    ProxyCommand nc -X connect -x proxy.example.net:8080 %h %p

code-via-proxy зіставляється з наданим ім'ям SSH. Далі HostName визначає справжній сервер. Прикладу потрібен netcat, сумісний з OpenBSD: -X connect надсилає HTTP CONNECT до призначення SSH.

Для нового checkout:

git clone git@code-via-proxy:team/project.git

Для наявного checkout:

git remote set-url origin git@code-via-proxy:team/project.git

Підставте справжній шлях репозиторію. Псевдонім змінює вибір з'єднання, а не ідентичність репозиторію на його сервері. Для публічного Git SSH-сервера в мережі, що дозволяє публічного посередника, список HTTP-проксі дає кандидатів для хоста й порту проксі. Приклад без облікового запису проксі використовуйте лише з вузлом, який дозволяє CONNECT до реального призначення й порту SSH.

Remote, що використовує [email protected]:team/project.git, натомість збігається з git.example.net. Він не вибирає псевдонім лише тому, що HostName псевдоніма вказує туди. Або використовуйте псевдонім, або розмістіть потрібне правило під справжнім ім'ям.

Перегляньте й попередні збіжні блоки. Для більшості параметрів SSH перемагає перше отримане значення, тому ставте конкретні налаштування перед широкими типовими значеннями, що задають той самий параметр.

Схожі статті