Github Users and Growth Statistics: How Many Repos Are There? (2023 ...