Undo changes in Git repository

Last modified: 29 November 2022