resetting lab environments on https://lab.cs50.io/

[pazz]

(Sorry if this is not the right place to report a bug but I couldn't find a repo for the lab webservice).

I am in the process of creating some labs and during development I noticed that the "reset to default" button on the top left does not really work. In particular it does not remove files created and more importantly, it does not re-create files from the repo in case you accidentally remove them.

Steps to reproduce:

1. go to https://lab.cs50.io/cs50/labs/2019/fall/hello
2. hit rm * in the terminal
3. click on reset-> yes (top left)
4. observe that the editor and file lists are still empty.

Am I doing something wrong or simply misunderstanding what the reset is about?
Cheers,

[dektar]

I've noticed the same thing -- it seems resetting the lab only resets the state of the README, but I was hoping it would reset the files. Is there any way to reset the files too? Otherwise it's hard to test that a .cs50.yml is correct after making changes! Thanks.

[bsimps3]

I am having the same trouble with the Reset feature of lab.cs50.io. My students (and I) expect that it would reset the state of the files as if you had opened the lab for the first time (replace deleted files, replace all contents of files to default...).

[cbscribe]

This has been fixed as of today!

[patricktotzke]

Will this also reset any cached github names/passwd or personal access tokens for use with check50?