From 8578b7e3cdc93b583d5c25762ac36ec512c779f3 Mon Sep 17 00:00:00 2001 From: Pietro Albini Date: Thu, 11 Jul 2019 20:49:49 +0200 Subject: add github ids to the people tomls --- people/TimNN.toml | 1 + 1 file changed, 1 insertion(+) (limited to 'people/TimNN.toml') diff --git a/people/TimNN.toml b/people/TimNN.toml index 7849956..cef6cb4 100644 --- a/people/TimNN.toml +++ b/people/TimNN.toml @@ -1,3 +1,4 @@ name = "Tim Neumann" github = "TimNN" +github-id = 1178249 email = "mail@timnn.me" -- cgit v1.2.3