2 ms·

This is one of those times where it’s a good thing that GitHub got bought by the biggest company in the world.