Git command to export a revision of the specified file(s) a repo on disk.