Useful git commands
Reading the history
Find the commits that edited a file which is now deleted.
git log --all --full-history --