Cancel file committees by mistake
diff --git a/caravel b/caravel deleted file mode 160000 index 477c17f..0000000 --- a/caravel +++ /dev/null
@@ -1 +0,0 @@ -Subproject commit 477c17fb986b0d3f7f3581e940095b68bd62422f
diff --git a/caravel_pico b/caravel_pico deleted file mode 160000 index 1fc14b5..0000000 --- a/caravel_pico +++ /dev/null
@@ -1 +0,0 @@ -Subproject commit 1fc14b5c9a25cd0f4e46cdd02b8017dc3eae0d05
diff --git a/mgmt_core_wrapper b/mgmt_core_wrapper deleted file mode 160000 index 3fee299..0000000 --- a/mgmt_core_wrapper +++ /dev/null
@@ -1 +0,0 @@ -Subproject commit 3fee299f8177cebf7919eb0e6da7f0f5ad7af31d