I’m aware that GitHub Classroom sort of fixes this, but this is more a general GitHub question (for repositories that will be used outside of GitHub Classroom – but still in an educational context).
I want to create some repositories, under a couple of Organisations. I would like to add students to specific repositories. The idea is that these are projects that evolve over a few years. These will be private repos also. At some stage down the track, new students arrive to the project, and old students leave. I would therefore like to keep a close eye on who has access to various repos.
The problem with GitHub account names, is that people can call it whatever they want. But very quickly, it makes it nearly impossible to know who certain accounts belong to. I would like to associate “real names” to accounts, so I know who currently has access, and who needs to be removed from the list.
Any recommendation how to best handle this?