3 ms·

I haven't experience any connectivity issues on Github today. Just pushed some code and it worked fine and promptly.