summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorPietro Albini <pietro@pietroalbini.org>2019-11-19 09:44:13 +0100
committerGitHub <noreply@github.com>2019-11-19 09:44:13 +0100
commit70d0d5ed124a155729f51e718b82721f71f4cfbf (patch)
treec9561449e85d40f247cdad6e3cc1d768a17f3a8e
parent123d267a0e52b61380a56898c3edb5f6f501af0f (diff)
parented6b0b2f05a9bac9b31e07870760cdf777a572db (diff)
Merge pull request #183 from rust-lang/lang-crater
Enable craterbot for the lang team
-rw-r--r--teams/lang.toml1
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]