chore: drop extra repo
diff --git a/magnum b/magnum
deleted file mode 160000
index 6e86579..0000000
--- a/magnum
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit 6e8657912c40fc56c243f1c300e36c629ce6b6c0