It would help to be able to sort repositories by name. Either using a sort button (ascending, descending?), or just by default. The current sort order appears to be random.
Use Case: We assign submissions to different TAs, usually in blocks of n students, in an external table that is sorted by GitHub usernames. Would be nice if everyone could just look for the first person that was assigned to them. Then it's not necessary to download all repositories, which could take some time.
It would help to be able to sort repositories by name. Either using a sort button (ascending, descending?), or just by default. The current sort order appears to be random.
Use Case: We assign submissions to different TAs, usually in blocks of n students, in an external table that is sorted by GitHub usernames. Would be nice if everyone could just look for the first person that was assigned to them. Then it's not necessary to download all repositories, which could take some time.