История изменений

Замети у github следующее, после коммита через вэбинтерфейс и последующем запросе pull из консоли на другом компьютере,
сидящем с компом с которого сделал коммит за одним натом,
git пишет что «Unable to connect to github.com: Name or service not known.»
Это у гитхаба такой блок репозитария на время внесения в него коммита или мой провайдер Yota гм.,
поставляет не достаточно качественный интернет?

Ещё порой github пропадает после нескольких pull запросов подряд.
Опять таки на небольшой промежуток времени в несколько десятков секунд.
И по моему это время можно сократить посылая на github пинги.

Кто что думает по этому поводу?

Замети у github следующее, после коммита через вэбинтерфейс и последующем запросе pull из консоли на другом компьютере,
сидящем с компом с которого сделал коммит за одним натом,
git пишет что «Unable to connect to github.com: Name or service not known.»
Это у гитхаба такой блок репозитария на время внесения в него коммита или мой провайдер Yota гм.,
поставляет не достаточно качественный интернет?

Ещё порой github пропадает после нескольких pull запросов подряд.
Опять таки на небольшой промежуток времени в несколько десятков секунд.
И по моему это время можно сократить посылая на github пинги.