https://locaakj.blogspot.com/2022/11/git-how-to-remove-local-commits.html