Is it just me, or is GitHub getting slower?
The web UI sometimes just sits there doing nothing. "git push" occasionally fails to connect. There's little glitches every day. I don't remember seeing this stuff before. Or not this often - I mean, daily glitches, seriously?
Any connection with them having been acquired by Microsoft a while ago, or is it just observer's bias? There's the reflex to blame Microsoft for the woes of anything they touch, but perhaps I'm reading too much into it.