From c9ba75cc954342b9923594fa40fdcb22fdb59328 Mon Sep 17 00:00:00 2001
From: Vincent Ambo <mail@tazj.in>
Date: Fri, 17 Jul 2020 21:48:37 +0100
Subject: [PATCH] chore(3p/immer): Remove .gitmodules

This breaks tooling for some people, and we aren't actually using the
git submodules.

Change-Id: I5b4dfd4ad76bf72e9dbc7de29f17f28ebf6b8ba0
Reviewed-on: https://cl.tvl.fyi/c/depot/+/1255
Tested-by: BuildkiteCI
Reviewed-by: glittershark <grfn@gws.fyi>
---
 third_party/immer/.gitmodules | 6 ------
 1 file changed, 6 deletions(-)
 delete mode 100644 third_party/immer/.gitmodules

diff --git a/third_party/immer/.gitmodules b/third_party/immer/.gitmodules
deleted file mode 100644
index 53d168601..000000000
--- a/third_party/immer/.gitmodules
+++ /dev/null
@@ -1,6 +0,0 @@
-[submodule "extra/python/lib/pybind11"]
-	path = extra/python/lib/pybind11
-	url = https://github.com/pybind/pybind11.git
-[submodule "tools/sinusoidal-sphinx-theme"]
-	path = tools/sinusoidal-sphinx-theme
-        url = https://github.com/arximboldi/sinusoidal-sphinx-theme.git