Contributors to 2020-07-19 List all files that were ever present in a Git repo