[PATCH] Use diff-tree -p -r instead of "git diff" in git-export.