Batch_operator: drop the operator-side bootstrap push#523

Merged

heifner merged 2 commits into

fix/batch-operator-drop-bootstrap-push

Jul 16, 2026

Commits on Jul 16, 2026

batch_operator: drop the operator-side genesis bootstrap push

authored and
heifner
committed
batch_operator: correct the post-genesis advancement description
heifner
committed