https://www.sindastra.de/p/1278/restore-deleted-file-from-git-commit-history