Undo changes in Git repository

Last modified: 18 June 2020