texaspriest
commented
8 years ago Hello Professor! Don't worry, this repository does not contain solutions for Pintos programming. I think the GitHub identified this repository because "Pinto" is the last name of one of the members, wrote in the description. I can't make this repository private because I'm using the free plan, but as I said, don't worry about this repository! It contains just codes using OpenMP and OpenMPI libraries. Sorry for any mistakes here, english is not my native language.
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 an automated search of GitHub identified this repository as possibly containing solutions for the Pintos programming 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. If this repo does indeed contain Pintos solutions, would you be willing to take it down or at least make it private? If so, that would be a great help to us. If for some reason you absolutely must keep the repository public, it would still be a help if you could rename it so that it doesn't appear in searches for
Pintos. Thanks for considering this request.