https://localsd.blogspot.com/2023/04/git-diff-between-local-and-remote.html