Add my discord ID and ops bot permissions

rust-lang · May 28, 2020 · 1c010c8 · 1c010c8
1 parent 0403d47
commit 1c010c8
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/people/carols10cents.toml b/people/carols10cents.toml
@@ -2,3 +2,7 @@ name = "Carol Nichols"
 github = "carols10cents"
 github-id = 193874
 email = "carol.nichols@gmail.com"
+discord-id = 388091358901960705
+
+[permissions]
+crates-io-ops-bot.staging_crates_io = true