summaryrefslogtreecommitdiffstats
path: root/teams
diff options
context:
space:
mode:
authorPietro Albini <pietro@pietroalbini.org>2019-10-21 18:32:38 +0200
committerPietro Albini <pietro@pietroalbini.org>2019-10-23 11:04:32 +0200
commit626be3722271f48b3d423be51d9a8c1ab65f4558 (patch)
tree8c34856e455f8d5e03f4daecc837679b29733172 /teams
parent3bede2470682643b09ff24e039944f591f20e6dc (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.toml12
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"]