From 652160c69bba8a08ecaf0fd698763920ee0fb7cd Mon Sep 17 00:00:00 2001
From: =?utf8?q?Isma=C3=ABl=20Bouya?= <ismael.bouya@normalesup.org>
Date: Wed, 2 Sep 2020 00:46:46 +0200
Subject: [PATCH] Add git config for submodules

---
 .gitconfig | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 .gitconfig

diff --git a/.gitconfig b/.gitconfig
new file mode 100644
index 0000000..e503780
--- /dev/null
+++ b/.gitconfig
@@ -0,0 +1,3 @@
+; git config --local include.path '../.gitconfig'
+[push]
+  recurseSubmodules = on-demand
-- 
2.41.0