From 8578b7e3cdc93b583d5c25762ac36ec512c779f3 Mon Sep 17 00:00:00 2001
From: Pietro Albini <pietro@pietroalbini.org>
Date: Thu, 11 Jul 2019 20:49:49 +0200
Subject: add github ids to the people tomls

---
 people/badboy.toml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'people/badboy.toml')

diff --git a/people/badboy.toml b/people/badboy.toml
index 3830bc6..6d281fb 100644
--- a/people/badboy.toml
+++ b/people/badboy.toml
@@ -1,3 +1,4 @@
 name = "Jan-Erik Rediger"
 github = "badboy"
+github-id = 2129
 email = "janerik@fnordig.de"
-- 
cgit v1.2.3