Set the main SEAL branch

Huelse · May 9, 2022 · 25631fb · 25631fb
1 parent 8aee24b
commit 25631fb
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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