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.