diff options
author | Pietro Albini <pietro@pietroalbini.org> | 2019-02-06 19:27:17 +0100 |
---|---|---|
committer | Pietro Albini <pietro@pietroalbini.org> | 2019-02-06 19:27:17 +0100 |
commit | 02dab8a94dce1a93e8ca50232cf75597fee327b0 (patch) | |
tree | bc0131bdf379de9ceb755dfede8b896207a1c677 /README.md | |
parent | 530fcd964b20efed36ec2172e608cbac019fa937 (diff) |
add permissions support and perf permissions
Diffstat (limited to 'README.md')
-rw-r--r-- | README.md | 24 |
1 files changed, 24 insertions, 0 deletions
@@ -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 +``` |