Question: How to make github follow directory history after renames?