home: git: setup work identity

Now that I am at Google, gotta make sure I use the correct identity.
This commit is contained in:
Bruno BELANYI 2023-02-08 14:24:05 +00:00
parent 2b3fb4fa5a
commit 5a07dda93b

View file

@ -166,6 +166,15 @@ in
}; };
}; };
} }
{
condition = "gitdir:~/git/work/";
contents = {
user = {
name = "Bruno BELANYI";
email = mkMailAddress "ambroisie" "google.com";
};
};
}
]; ];
ignores = ignores =