[pstadler]

This seems to be valid compared to numbers released in April 2013 [1]. GitHub is growing fast.

[1] https://github.com/blog/1470-five-years