summaryrefslogtreecommitdiffstats
path: root/README.md
diff options
context:
space:
mode:
authorPietro Albini <pietro@pietroalbini.org>2019-02-06 19:27:17 +0100
committerPietro Albini <pietro@pietroalbini.org>2019-02-06 19:27:17 +0100
commit02dab8a94dce1a93e8ca50232cf75597fee327b0 (patch)
treebc0131bdf379de9ceb755dfede8b896207a1c677 /README.md
parent530fcd964b20efed36ec2172e608cbac019fa937 (diff)
add permissions support and perf permissions
Diffstat (limited to 'README.md')
-rw-r--r--README.md24
1 files changed, 24 insertions, 0 deletions
diff --git a/README.md b/README.md
index 11b756d..05071a0 100644
--- a/README.md
+++ b/README.md
@@ -36,6 +36,12 @@ You can get a list of all the email addresses subscribed to a list:
$ cargo run dump-list all@rust-lang.org
```
+You can get a list of all the users with a permission:
+
+```
+$ cargo run dump-permission perf
+```
+
## Schema
### People
@@ -50,6 +56,9 @@ github = "johndoe" # GitHub username of the person (required)
# This will, for example, avoid adding the person to the mailing lists.
email = "john@doe.com" # Email address used for mailing lists (optional)
irc-nickname = "jdoe" # Nickname of the person on IRC, if different than the GitHub one (optional)
+
+[permissions]
+# Optional, see the permissions documentation
```
The file must be named the same as the GitHub username.
@@ -80,6 +89,9 @@ members = [
"rust-timer",
]
+[permissions]
+# Optional, see the permissions documentation
+
# Define the mailing lists used by the team
# It's optional, and there can be more than one
[[lists]]
@@ -109,3 +121,15 @@ extra-teams = [
"bots-nursery",
]
```
+
+### Permissions
+
+Permissions can be applied either to a single person or to a whole team, and
+they grant access to some pieces of rust-lang tooling. The following
+permissions are available:
+
+```toml
+[permissions]
+# Optional, grants access to the @rust-timer GitHub bot
+perf = true
+```