Remove diagnostic code from repo.pp