docs:git:exporting_an_older_version_of_a_file