I’m currently using GitHub classroom for deploying lab exercises. Students use the
git commands directly from the command line to push their code.
Interestingly, I’ve noticed that some commits showed a different username than that of the student. For example, Student y’s repository shows commits by Student x. However, it was Student y that actually commited/pushed the code. I was there when they did it so it’s not like they cheated. The repos are also private so no one else should have access. Has anyone experienced the same thing?
I think it has something to do with the machines they are using. Currently, each student logs in to a computer then runs a Linux virtual machine where they develop code and make pushes to GitHub. When students moved to a different machine and pushed their code (using their own GitHub username and password) it would show a different student’s username.
Suggestions on how to resolve the issue so that the right student’s username appears on the commits are much appreciated.