diff --git a/.gitconfig b/.gitconfig
index 884262d..1c5e197 100644
--- a/.gitconfig
+++ b/.gitconfig
@@ -6,6 +6,8 @@
     path = ~/src/work/suborbit/.gitconfig
 [includeIf "gitdir:~/src/work/suborbit/optimal/**"]
     path = ~/src/work/suborbit/optimal/.gitconfig
+[includeIf "gitdir:~/src/work/suborbit/optimal/elc/**"]
+    path = ~/src/work/suborbit/optimal/elc/.gitconfig
 [push]
     default = simple
 [pack]