Undo changes in Git repository

Last modified: 10 August 2022