diff options
author | Pietro Albini <pietro@pietroalbini.org> | 2019-11-19 09:31:26 +0100 |
---|---|---|
committer | Pietro Albini <pietro@pietroalbini.org> | 2019-11-19 09:31:26 +0100 |
commit | ed6b0b2f05a9bac9b31e07870760cdf777a572db (patch) | |
tree | c9561449e85d40f247cdad6e3cc1d768a17f3a8e | |
parent | 123d267a0e52b61380a56898c3edb5f6f501af0f (diff) |
lang: allow to use craterbot
-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] |