diff options
author | Pietro Albini <pietro@pietroalbini.org> | 2019-10-23 11:14:12 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-10-23 11:14:12 +0200 |
commit | 5c0879de20dc32769fc5546ed657eb413a318a53 (patch) | |
tree | 8c34856e455f8d5e03f4daecc837679b29733172 | |
parent | 3bede2470682643b09ff24e039944f591f20e6dc (diff) | |
parent | 626be3722271f48b3d423be51d9a8c1ab65f4558 (diff) |
Merge pull request #159 from rust-lang/docsrs-ops
create the docsrs-ops marker team
-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"] |