3 ms·

yup. If we were using fossil I’d agree more, but git is code exclusively, which is not actually much in a project.