Delete IRepository.php