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

(limited to 'people/alexreg.toml')

diff --git a/people/alexreg.toml b/people/alexreg.toml
index 18aceec..3b23bdd 100644
--- a/people/alexreg.toml
+++ b/people/alexreg.toml
@@ -1,5 +1,6 @@
 name = "Alexander Regueiro"
 github = "alexreg"
+github-id = 67036
 
 [permissions]
 bors.rust.review = true
-- 
cgit v1.2.3