-
Suggestion
-
Resolution: Unresolved
-
None
-
None
-
None
It should be possible to use the Reset functionality in order to reset a repository to its previous state, discarding non-pushed commits. Therefore, the repository->reset button should be enabled even when there are no file changes.