Mitigate Git server failures

Description

Sometimes / on many occasions, git * dies with:

"Could not resolve host: github.com"

Environment

None

Checklist

hide

Activity

Show:
Done

Details

Assignee

Reporter

Components

Fix versions

Affects versions

Priority

Created October 12, 2020 at 6:42 PM
Updated October 14, 2020 at 6:37 AM
Resolved October 14, 2020 at 6:37 AM