Renaming files on git can be really painful to deal with. Git is case insensitive, so we can’t rename the…