Git Diff File Extension