[aksx]

i tried to push some code and was getting DNS resolution errors so i started using google DNS, now everything works.

[arunmib]

Same here. Tried accessing github and sourceforge didn't work, switched to google DNS, works like a charm now. Not sure how they are blocking the sites.