search

github-education-resources / classroom

GitHub Classroom automates repository creation and access control, making it easy for teachers to distribute starter code and collect assignments on GitHub.
https://classroom.github.com
1.34k stars 570 forks source link

Allow searching roster #2547

Open amueller opened 4 years ago

amueller commented 4 years ago

Right now the roster has no search function. So if I want to unlink a student, I have to do binary search over all the pages to find their identifier.