Always use diff for git projects, for consistency.

When the git external diff tool is customized, sometimes the output is unusable for cdiff (especially if git is configured to use cdiff).