2 ms·

If git's biggest weak point is not having to fix (most likely human) errors then we're pretty good off I'd say.