2 ms·

I do hope the endgame isn't to get rid of git completely and switch tge repos to some proprietary format.