History of 2020-07-19 List all files that were ever present in a Git repo

2020-07-19
20:37 UTC Revision 1 . . . . mborkSometimes I want to dig deep in Git repo history and find some information about the files that are no longer there – either they were deleted or renamed. This is easy if I know the name of the file in question, but what if not?