diff options
| author | Pietro Albini <pietro@pietroalbini.org> | 2019-02-06 20:07:47 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-02-06 20:07:47 +0100 |
| commit | c1c0e5ee897f60260c1210637b1a151baf1fe497 (patch) | |
| tree | a4bf761ca92cc24333bf886e204fbccfd9254547 /people | |
| parent | 23ae01d92c36434217ea1713b40e8b77af735f88 (diff) | |
| parent | 02dab8a94dce1a93e8ca50232cf75597fee327b0 (diff) | |
Merge pull request #19 from rust-lang/permissions
Add permissions support and perf permissions
Diffstat (limited to 'people')
| -rw-r--r-- | people/RalfJung.toml | 5 | ||||
| -rw-r--r-- | people/Xanewok.toml | 3 | ||||
| -rw-r--r-- | people/davidtwco.toml | 5 | ||||
| -rw-r--r-- | people/nnethercote.toml | 5 |
4 files changed, 18 insertions, 0 deletions
diff --git a/people/RalfJung.toml b/people/RalfJung.toml new file mode 100644 index 0000000..d226397 --- /dev/null +++ b/people/RalfJung.toml @@ -0,0 +1,5 @@ +name = "Ralf Jung" +github = "RalfJung" + +[permissions] +perf = true diff --git a/people/Xanewok.toml b/people/Xanewok.toml index 011f120..309ec14 100644 --- a/people/Xanewok.toml +++ b/people/Xanewok.toml @@ -1,3 +1,6 @@ name = "Igor Matuszewski" github = "Xanewok" email = "xanewok@gmail.com" + +[permissions] +perf = true diff --git a/people/davidtwco.toml b/people/davidtwco.toml new file mode 100644 index 0000000..7c4e675 --- /dev/null +++ b/people/davidtwco.toml @@ -0,0 +1,5 @@ +name = "David Wood" +github = "davidtwco" + +[permissions] +perf = true diff --git a/people/nnethercote.toml b/people/nnethercote.toml new file mode 100644 index 0000000..3e3a4fe --- /dev/null +++ b/people/nnethercote.toml @@ -0,0 +1,5 @@ +name = "Nicholas Nethercote" +github = "nnethercote" + +[permissions] +perf = true |