github is still up for me. using https + google dns
when you are solving a problem in a startup , you are thinking.. more than you do in a college.