Remove todos

Signed-off-by: Xudong Sun <[email protected]>
anvil-verifier · Sep 20, 2023 · 7bfbdb6 · 7bfbdb6
1 parent a6a41a4
commit 7bfbdb6
Showing 1 changed file with 0 additions and 4 deletions.
diff --git a/src/kubernetes_cluster/spec/kubernetes_api/state_machine.rs b/src/kubernetes_cluster/spec/kubernetes_api/state_machine.rs
@@ -19,12 +19,8 @@ verus! {
 //
 // + Create and update should ignore the status fields provided by the object
 //
-// + Make Create/Update/DeleteRequest consistent on whether to carry kind or not
-//
 // + Support more operations like List
 //
-// + Validation on uid, owner_references, finalizers
-//
 // + Check kind-specific strategy like AllowUnconditionalUpdate() and AllowCreateOnUpdate()
 //
 // + Support graceful deletion