3 ms·In that case, I think 'git' is probably the name we should have been looking to replace...by marginalia_nu 11mo agoIn that case, I think 'git' is probably the name we should have been looking to replace...