devhub-tud
Connect commit to committer user
Useful for #217
What makes it a little bit difficult is that the author details come from git config --global user.email. Some users may not set it, or set it to a personal email address. We can group the commit authors by name/email, and manually find out which one is which student. We can also enforce students to use their @student.tudelft.nl email account, but that would make the git setup even more difficult. (Especially if they find out they can’t push when the commit has already been made with different author information). Furthermore we should be aware that it can be manipulated .
It is indeed not a waterproof system: But warning pairs that they are not swapping enough, and giving graders insight in how the work was distributed over team members (or even just email addresses) is helpful.
