3 ms·

I guess it's time Github realizes that they're not longer just relied upon for git, but for so much more.