There's maximum probably only like hundreds of thousands of people who would pay $96/yr for git repos for their personal projects. Millions a month but their other revenue streams are more expensive and still growing and can keep growing so it was heading towards a rounding error % even though it was 12% a couple years ago.