search

yahiahisham14 / osdummies

0 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. 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.

AhmedYoussryMohamed commented 4 years ago

@johnousterhout This is might be too late already, but we haven't seen this message before. Our extreme apologies about the delay. We will be renaming the project.

Thank you for going the extra mile to ensure the students have the full educational experience.

johnousterhout commented 4 years ago

It's never too late; thanks for the response.

-John Ousterhout-

On Fri, Dec 20, 2019 at 1:46 AM Ahmed Youssry notifications@github.com wrote:

@johnousterhout https://github.com/johnousterhout This is might be too late already, but we haven't seen this message before. Our extreme apologies about the delay. We will be renaming the project.

Thank you for going the extra mile to ensure the students have the full educational experience.

— You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub https://github.com/yahiahisham14/PintosPhase1/issues/1?email_source=notifications&email_token=ACOOUCTFCWUOBNOI3J7HQN3QZSH77A5CNFSM4BYQUFN2YY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGOEHMOKDQ#issuecomment-567862542, or unsubscribe https://github.com/notifications/unsubscribe-auth/ACOOUCRZTNYXN3LC4ADKJXDQZSH77ANCNFSM4BYQUFNQ .