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