diff options
author | Pietro Albini <pietro@pietroalbini.org> | 2019-11-19 09:44:13 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-11-19 09:44:13 +0100 |
commit | 70d0d5ed124a155729f51e718b82721f71f4cfbf (patch) | |
tree | c9561449e85d40f247cdad6e3cc1d768a17f3a8e | |
parent | 123d267a0e52b61380a56898c3edb5f6f501af0f (diff) | |
parent | ed6b0b2f05a9bac9b31e07870760cdf777a572db (diff) |
Merge pull request #183 from rust-lang/lang-crater
Enable craterbot for the lang team
-rw-r--r-- | teams/lang.toml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/teams/lang.toml b/teams/lang.toml index 0301e69..52e8c46 100644 --- a/teams/lang.toml +++ b/teams/lang.toml @@ -15,6 +15,7 @@ members = [ [permissions] perf = true +crater = true bors.rust.review = true [github] |