diff --git a/.gitmodules b/.gitmodules index 49b2b33e7..855ea5ab2 100644 --- a/.gitmodules +++ b/.gitmodules @@ -22,3 +22,4 @@ [submodule "external/pybind11"] path = external/pybind11 url = https://github.com/pybind/pybind11 + branch = stable