From fe2019f73fa8ab4ecb6ac3d2af2b17373663310c Mon Sep 17 00:00:00 2001
From: Pietro Albini <pietro@pietroalbini.org>
Date: Wed, 20 Feb 2019 17:15:37 +0100
Subject: document the crater permission

---
 README.md | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'README.md')

diff --git a/README.md b/README.md
index 8f9f142..d09f00b 100644
--- a/README.md
+++ b/README.md
@@ -133,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
 ```
-- 
cgit v1.2.3