diff options
author | Pietro Albini <pietro@pietroalbini.org> | 2019-02-20 17:26:29 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-02-20 17:26:29 +0100 |
commit | a8cfd4daec1cf5240e488bd448441be5ed4a9726 (patch) | |
tree | 95dc30806d0390c80de2b0f83ab821c12bc27dde /README.md | |
parent | ddeef60918219993a57f7660954d699125c569d0 (diff) | |
parent | fe2019f73fa8ab4ecb6ac3d2af2b17373663310c (diff) |
Merge pull request #24 from rust-lang/mailgun
Document that MLs are managed through this repo now
Diffstat (limited to 'README.md')
-rw-r--r-- | README.md | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -5,6 +5,7 @@ automatically synchronized with: * [Governance section on the website](https://www.rust-lang.org/governance) * [Crater and @craterbot](https://github.com/rust-lang-nursery/crater) +* Mailing lists and aliases for `@rust-lang.org` and `@crates.io` If you need to add or remove a person from a team send a PR to this repository, and after it's merged their account will be added/removed from all the @@ -132,4 +133,6 @@ permissions are available: [permissions] # Optional, grants access to the @rust-timer GitHub bot perf = true +# Optional, grants access to the @craterbot GitHub bot +crater = true ``` |