Another git commit prior to changing a file name