diff --git a/.gitmodules b/.gitmodules index c8a8ee7..f8da97a 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,6 +1,7 @@ [submodule "SEAL"] path = SEAL url = https://github.com/microsoft/SEAL.git + branch = main [submodule "pybind11"] path = pybind11 url = https://github.com/pybind/pybind11.git