Fix repo.config