search

thorpe-dev / cos

Other
1 stars 0 forks source link

Make this repository private? #1

Open johnousterhout opened 8 years ago

johnousterhout commented 8 years ago

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.

thorpe-dev commented 8 years ago

Will make it private now. This was one of my favourite courses at Imperial by the way! :smile:

johnousterhout commented 8 years ago

Thanks.

On Sat, Jan 9, 2016 at 6:31 AM, MIchael Thorpe notifications@github.com wrote:

Will make it private now. This was one of my favourite courses at Imperial by the way! [image: :smile:]

— Reply to this email directly or view it on GitHub https://github.com/mt2309/Pintos/issues/1#issuecomment-170243681.