diff options
author | Pietro Albini <pietro@pietroalbini.org> | 2019-03-10 12:52:24 +0100 |
---|---|---|
committer | Pietro Albini <pietro@pietroalbini.org> | 2019-03-10 12:55:01 +0100 |
commit | c3bd230d3160359e27f88c877762acf71f2f78e9 (patch) | |
tree | 1bef045cf82969901d9585c16b40e68bc4c7635a /people/est31.toml | |
parent | efeff4703c3c95ed18178d2a9510b69ca44c7277 (diff) |
import bors permissions
Diffstat (limited to 'people/est31.toml')
-rw-r--r-- | people/est31.toml | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/people/est31.toml b/people/est31.toml new file mode 100644 index 0000000..c5ba8ba --- /dev/null +++ b/people/est31.toml @@ -0,0 +1,5 @@ +name = "est31" +github = "est31" + +[permissions] +bors.rust.try = true |