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 | |
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.
-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"] |