git pull дает тайм-аут неудачного доступа

Question

У меня проблема с git pull (и я довольно новичок в git). Поэтому я знаю, что произошли изменения в ветке origin / master на github (git bash также сказал мне об этом) Поэтому я хочу сделать обновление, используя:

git pull

Однако это дает мне ошибку:

fatal: unable to access '(adres)': Failed to connect to github.com port 443: Timed out

Во время поиска я нашел решения, связанные с настройками прокси-серверов и проблемами на стороне githubs. Насколько я могу судить по странице, у github на данный момент нет проблем.

Прокси я не до конца понимаю. Ранее я мог клонировать и извлекать sh в этот репозиторий, поэтому я не до конца понимаю, почему для функции pull вдруг потребуются настройки прокси-сервера.

Я использую git bash на windows 10 комп. Заранее спасибо

Answer 1

Если вам не нужен прокси-сервер раньше, вам нужен сейчас.

Но первый тест - проверить, можете ли вы вообще получить доступ к https://github.com (в вашем браузере ), то есть проверить, нет ли проблем с сетью (брандмауэр?) между вашим компьютером и GitHub.

Вы также можете проверить, будет ли работать доступ S SH (при условии, что у вас общедоступная публикация по умолчанию). c rsa ключ зарегистрирован на GitHub )

git ls-remote git@github:me/myrepo