Question: How to delete the old history after running git filter-branch?