diff options
author | Pietro Albini <pietro@pietroalbini.org> | 2019-02-08 09:43:31 +0100 |
---|---|---|
committer | Pietro Albini <pietro@pietroalbini.org> | 2019-02-08 09:43:31 +0100 |
commit | fbd6a82e736680aeb2cc5450f956cd17ac0dae74 (patch) | |
tree | a8875a051b21cea6debd1f12043a6b3c9a67eddb /README.md | |
parent | 43eb0100d1822132f4f0068cb10080969899e530 (diff) |
add crater permissions
Diffstat (limited to 'README.md')
-rw-r--r-- | README.md | 6 |
1 files changed, 5 insertions, 1 deletions
@@ -1,6 +1,10 @@ # Rust teams structure -This repository contains the structure of the Rust teams. +This repository contains the structure of the Rust teams. The repository is +automatically synchronized with: + +* [Governance section on the website](https://www.rust-lang.org/governance) +* [Crater and @craterbot](https://github.com/rust-lang-nursery/crater) 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 |