Fix `git diff` command in CI script