Make this repository private?

[johnousterhout]

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.

[jelflein]

This repository is very useful for everyone, that has to implement the pintos os. Sometimes the pintos documentation is very bad or not exist. The code has also some bugs and you should not trust it. If you use this project to copy parts from it, then you do not have any control over your life. Sometimes the tasks from pintos are not very clear. Jongwook Choi is my new friend, because he reduced the amount of time for the task. I learned a lot of this code, but my approach was always different.