4 ms·

I was personally surprised as i thought there are more users. But still 4M developers are quite a lot. Love using Github.