Don't need .git extension in submodules

jmikeowen · jmikeowen · commit 819dcbb54324 · 2023-03-28T16:44:52.000-07:00
diff --git a/.gitmodules b/.gitmodules
@@ -1,4 +1,4 @@
 [submodule "extern/pybind11"]
 	path = extern/pybind11
-	url = https://github.com/pybind/pybind11.git
+	url = https://github.com/pybind/pybind11
 	branch = stable
