3 ms·

Yeah, but that also serves the purpose of making us encourage our workplaces to use GitHub, and they pay for it.