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

(limited to 'people/Diggsey.toml')

diff --git a/people/Diggsey.toml b/people/Diggsey.toml
index 40758c3..cbd4ece 100644
--- a/people/Diggsey.toml
+++ b/people/Diggsey.toml
@@ -1,5 +1,6 @@
 name = "Diggory Blake"
 github = "Diggsey"
+github-id = 451321
 
 [permissions]
 bors.rustup_rs.review = true
-- 
cgit v1.2.3