Make this repository private? #2
Description
I'm a Professor at Stanford, and I'm teaching an Operating Systems course that uses Pintos for its class projects. I'm writing because I see that this repository is publicly accessible and appears to contain solutions for the projects. This is a problem for us, because it makes it very easy for students to cheat. Even if they just look at your solution, and don't copy it, that will still reduce the educational experience for them. Would you be willing to take down this repository or at least make it private? If so, that would be a great help for us.