Add TODO for repo.php