From 8750e34390894eff23b22417c28ef4dd0b1ad54b Mon Sep 17 00:00:00 2001
From: Timo Wilken
Date: Thu, 16 Feb 2023 22:51:06 +0100
Subject: Set up common work gitconfig

---
 tw/home/files/gitconfig | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'tw/home')

diff --git a/tw/home/files/gitconfig b/tw/home/files/gitconfig
index dbca695d..51e60054 100644
--- a/tw/home/files/gitconfig
+++ b/tw/home/files/gitconfig
@@ -5,6 +5,9 @@
 	signingkey = 53EC3C06856883DD92355BC22FC78504681F69B0
 [commit]
 	gpgsign = true
+# For work repos, include the gitconfig that sets up my work identity.
+[includeIf "gitdir:~/src/alice/"]
+        path = ~/src/alice/.gitconfig
 [url "https://"]
 	insteadOf = git://
 [url "ssh://git@gitlab.cern.ch:7999/"]
@@ -40,4 +43,4 @@
 [difftool "kitty"]
 	cmd = kitty +kitten diff $LOCAL $REMOTE
 [difftool "kitty.gui"]
-	cmd = kitty kitty +kitten diff $LOCAL $REMOTE
\ No newline at end of file
+	cmd = kitty kitty +kitten diff $LOCAL $REMOTE
-- 
cgit v1.2.3