Fix `git diff` command in CI script
Merge pull request #2672 from alfredxing/fix-ci-git-diff