Add my discord ID and ops bot permissions

carols10cents · Mark-Simulacrum · commit 0f6e28bf4d7d · 2020-05-27T22:37:46.000-04:00
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
