You can now download a CSV while will include each students' GitHub alias, roster identifier, individual grade, and more for any given Assignment. No action is needed by you to use this feature.
On the Assignment overview page, you will now see a dropdown with an option to "Download grades." This is also the new home for the "Download repositories" functionality.
For feedback or questions on this feature, please use our GitHub Education Community Forum