3 ms·

Let me also add explicitly that I think GitHub is more likely to be killed (or at least marginalized) than git.