I have been using git lots for the last few months. git push worked 12 hours ago now all attempts generate errors, with verbose it produces this: GIT_CURL_VERBOSE=1 git push * Couldn't find host ...