[filesystem] git merge is buggy / how do we hard reset?

[MassaoudiOmar]

After your message yesterday "General Veuillez mettre à jour le repository de devoir de système de fichiers car nous avons corrigé une erreur dans le template." I tried fetching and merging the changes but I kept getting the message "Already up to date" when the read was still missing the &mut, thus the code still buggy.

I then tried every possible variation of git merge/pull/fetch but that still didn't work so I had to fix the code manually.

How can this be avoided and please how do we forcefully delete/hard reset the repository so we can start over if something like this happens and we can't fix it?

[MassaoudiOmar]

Now this keeps happening. As we don't have the necessary permissions, please can you reset my repo? thank you

[alexandruradovici]

The error seems to be form codespace, not from the repository. You can update you repo from the GitHub (not codespace) UI, by selecting the Sync Fork.

If codespace is not working:

• install Rust on your computer (https://www.rust-lang.org/)
• imstall GitHub Desktop (https://desktop.github.com/)
• clone the repository and work locally

[MassaoudiOmar]

Here are screenshots from GitHub's GUI (outside codespace) As you can see, the file still contains the wrong code, even though the commit is visible in the history (which is blowing my mind I have no idea how this is possible)

[alexandruradovici]

It is the correct file, just that you have to modify the trait FileSystem in your implementation (in the sde2_fs) crate. From what I see, your repository is correct now.