4 ms·

You just succintly described what will kill off github eventually