I’m mostly enjoying GitHub classroom and plan to use it even more next time I teach, however I find it hard to find a particular user’s repo…
Say I have an assignment with 100 submissions. GitHub classroom has no view that shows all these on one page, AFAIK. It should, so I can use Ctrl+F.
If my student’s name is “Bob Smith”, how can I find their repo? There’s no way I can see to search for the repo by student name or email. I can’t know Bob’s GitHub username easily, so… please let me know how to find a student’s repo. I would love to see a simple search bar where I can enter a student’s name or email.
(What I have been using is this: https://github.com/lindsaymarkward/get-github-usernames which creates ‘dummy’ commits by email and then GitHub shows their usernames if they exist. I can then append that to the assignment default URL… but this is way too much work compared to what it could be.)