Make 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 a complete set of 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.

[jinmel]

@johnousterhout
This repository doesn't contain any solution for pintos project. All changes we make are limited to Make.config and some device related code to make sure it runs on newer versions of qemu.