Merge pull request #343 from jtgeibel/add-discord-ids

Pietro Albini · web-flow · commit 6bcb5feb6460 · 2020-05-28T14:39:33.000+02:00
diff --git a/people/jtgeibel.toml b/people/jtgeibel.toml
@@ -2,6 +2,7 @@ name = "Justin Geibel"
 github = "jtgeibel"
 github-id = 22186
 email = "jtgeibel@gmail.com"
+discord-id = 451522714101088258
 
 [permissions]
-crates-io-ops-bot.staging_crates_io = true
+crates-io-ops-bot.staging_crates_io = true
diff --git a/people/pietroalbini.toml b/people/pietroalbini.toml
@@ -2,6 +2,7 @@ name = "Pietro Albini"
 github = "pietroalbini"
 github-id = 2299951
 email = "pietro@pietroalbini.org"
+discord-id = 296309029947441155
 
 [permissions]
-crates-io-ops-bot.staging_crates_io = true
+crates-io-ops-bot.staging_crates_io = true
