Revert a file with Git

🏷️ Software development

git checkout [commit-ref] -- [filename]
git restore --source HEAD^ [filename]