Open Brilator opened 3 months ago
This is expected behavior. Git reset does only restore all tracked files form a specific commit to the state of that commit. Other untracked files (for example those generated by copies) are not deleted by git. We could offer the following feature: a one button solution that deletes the entire ARC and performs a fresh clone. Then the ARC is completely reset to the state of the remote repo. HOWEVER: Any local commits not pushed to the remote will be lost plus all untracked files. So I do not know if this does more harm than good.
@Brilator I suggest the following feature: if users click on the Reset button they will be presented with a dialog in which they can choose from the following options:
Should I add this?
Sounds good to me
For hard reset
add a clear warning about possible data loss / making sure to have a copy.
git reset --hard
)