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/JuanPotato.toml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'people/JuanPotato.toml')

diff --git a/people/JuanPotato.toml b/people/JuanPotato.toml
index 1917366..b4d0e9a 100644
--- a/people/JuanPotato.toml
+++ b/people/JuanPotato.toml
@@ -1,3 +1,4 @@
 name = "Hasan"
 github = "JuanPotato"
+github-id = 9531780
 email = "hasan@juanpota.to"
-- 
cgit v1.2.3