I kept having problem with github these days, i created a new repository on github, then from local machine I tried to push my code to github:
git remote add origin g
I had the no address associated with name problem and after searching it was a DNS problem. The DNS simply was wrong on the machine and it could not find the IP address of the remote git repository.