From 239fd59e8d9225d39b83f4b5c4051986d0c9404c Mon Sep 17 00:00:00 2001
From: Timo Wilken
Date: Fri, 17 Feb 2023 17:43:50 +0100
Subject: Use work identity for git

---
 tw/home/files/gitconfig | 7 ++-----
 1 file changed, 2 insertions(+), 5 deletions(-)

(limited to 'tw/home')

diff --git a/tw/home/files/gitconfig b/tw/home/files/gitconfig
index 51e60054..6bed5cc8 100644
--- a/tw/home/files/gitconfig
+++ b/tw/home/files/gitconfig
@@ -1,13 +1,10 @@
 # This is Git's per-user configuration file.
 [user]
 	name = Timo Wilken
-	email = git@twilken.net
-	signingkey = 53EC3C06856883DD92355BC22FC78504681F69B0
+	email = timo.wilken@cern.ch
+	signingkey = C2249BBE5E8761C943A0CFA1B7B3914BF63ACD7C
 [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/"]
-- 
cgit v1.2.3