From 5a07dda93b5dca9cabdba96bc6f267c9c95f988f Mon Sep 17 00:00:00 2001 From: Bruno BELANYI Date: Wed, 8 Feb 2023 14:24:05 +0000 Subject: [PATCH] home: git: setup work identity Now that I am at Google, gotta make sure I use the correct identity. --- home/git/default.nix | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/home/git/default.nix b/home/git/default.nix index c78b25b..5a0187d 100644 --- a/home/git/default.nix +++ b/home/git/default.nix @@ -166,6 +166,15 @@ in }; }; } + { + condition = "gitdir:~/git/work/"; + contents = { + user = { + name = "Bruno BELANYI"; + email = mkMailAddress "ambroisie" "google.com"; + }; + }; + } ]; ignores =