Mitigate Git server failures

Description

Sometimes / on many occasions, git * dies with:

"Could not resolve host: github.com"

Environment

None
Done

Assignee

Igor Pecovnik

Reporter

Igor Pecovnik