Github has been intolerably slow all week. Is the beginning of the Microsoft Effect?