From 947797af5a0aabf747c42d65213876902768dd39 Mon Sep 17 00:00:00 2001
From: Richard Glosner <xglosner@fi.muni.cz>
Date: Mon, 17 Mar 2025 13:47:39 +0100
Subject: [PATCH] internal: add default branch for submodule initialization

---
 .gitmodules | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/.gitmodules b/.gitmodules
index 7e7a6d5..56b5ee0 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -5,6 +5,8 @@
 [submodule "showcase-definition"]
 	path = showcase-definition
 	url = ../definitions/showcase-definition
+	branch = main
 [submodule "introductory-definition"]
 	path = introductory-definition
-	url = ../definitions/introductory-definition
\ No newline at end of file
+	url = ../definitions/introductory-definition
+	branch = main
-- 
GitLab