diff options
author | Pietro Albini <pietro@pietroalbini.org> | 2019-10-22 11:57:31 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-10-22 11:57:31 +0200 |
commit | c0553bd53d8fbe4ec0a17fb3256d809118e1f0fe (patch) | |
tree | bbe873bb2eb91b2d85b19981217cf026b3307d98 /people | |
parent | 90490bfd355baaca450fc4ac31c01228b65b7ecd (diff) | |
parent | 29dd5cf47c7ae3438e3c4fb82124a489146a7ff1 (diff) |
Merge pull request #150 from smarnach/smarnach-bors
Give smarnach bors permissions on crates.io.
Diffstat (limited to 'people')
-rw-r--r-- | people/smarnach.toml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/people/smarnach.toml b/people/smarnach.toml index 7c10250..f75688f 100644 --- a/people/smarnach.toml +++ b/people/smarnach.toml @@ -2,3 +2,6 @@ name = "Sven Marnach" github = "smarnach" github-id = 249196 email = "sven@marnach.net" + +[permissions] +bors.crates_io.review = true |