Switch to new proprietary repo.