5 ms·those are not major git platformsby maccio92 8y agothose are not major git platformsrambojazz 8y agowell there are thousands of users and repositories instead of millions, but I think they are still relevant.