Is there a way to get an older version of a file out of a local git-repo? I don’t want to overwrite the existing file in the process.