Hi everyone,
I was looking for some Code AutoGrading solutions for my educational organization, and I became interested on GitHub Education. However, I am worried that if there will be too many students there will be too much repositories. So, is there any limit on GitHub repo count or is there any other way to handle this?