Не удалось подключиться к порту 443 github.com: Тайм-аут операции - вызов из Jenkins

Question

Мои задания Jenkins запускают git для клонирования или выборки https://github.com/tetradev01/jenkinsdsl/, который не требует учетных данных
от GitHub и сталкивается с той же проблемой, как описано в
Не удалось подключиться на порт github.com 443: Тайм-аут операции :

stderr: fatal: unable to access 'https://github.com/tetradev01/jenkinsdsl/': Failed connect to github.com:443; Connection timed out

Можно ли как-то настроить эту информацию прокси-сервера в Jenkins для решения этой проблемы?

В разделе Управление Jenkins есть Это раздел

GitHub  
 GitHub Servers  
  * GitHubServer  
     Name        Foo  
     API URL     https://api.github.com/   <- Can I provide something here ?  
     Credentials None                      <- None should be OK.  

, но это не помогло.

Версия Jenkins: 2.190.3
Git Версия: x86_64 / 2.19.0