Today I Learned

2021/12/01

git shell command-line

that you can write any file in your git history using git show <ref>:<path>.

See https://juplo.de/cat-any-file-in-any-commit-with-git/