manually changed filenames in git