diff options
author | Pietro Albini <pietro@pietroalbini.org> | 2019-10-21 18:32:38 +0200 |
---|---|---|
committer | Pietro Albini <pietro@pietroalbini.org> | 2019-10-23 11:04:32 +0200 |
commit | 626be3722271f48b3d423be51d9a8c1ab65f4558 (patch) | |
tree | 8c34856e455f8d5e03f4daecc837679b29733172 /teams | |
parent | 3bede2470682643b09ff24e039944f591f20e6dc (diff) |
create the docsrs-ops marker team
This team (synchronized with GitHub) is a marker team as it doesn't
represent any team in our structure, but it's used to grant people
involved with docs.rs operations access to some parts of our infra.
Diffstat (limited to 'teams')
-rw-r--r-- | teams/docsrs-ops.toml | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/teams/docsrs-ops.toml b/teams/docsrs-ops.toml new file mode 100644 index 0000000..02fadfe --- /dev/null +++ b/teams/docsrs-ops.toml @@ -0,0 +1,12 @@ +name = "docsrs-ops" +marker-team = true + +[people] +leads = [] +members = [ + "QuietMisdreavus", + "onur", +] + +[github] +orgs = ["rust-lang"] |