https://howtouy.blogspot.com/2023/06/how-to-exit-git-diff.html