deleting a file, to see how to find it in repo history.