Remove if not used. The point of git repository is that you can safely remove obsolete files or overwrite existing ones.