git: // через прокси

Я за брандмауэром, который блокирует порт 9418 (git), и пытаюсь установить некоторые инструменты, которые явно проверяют git: //github.com / ... , поэтому я не могу переключиться на https для проверки.

Мне интересно, можно ли перенаправить весь трафик на порт 9418 через прокси, и если да, то как :)