diff options
| author | Mark Rousskov <mark.simulacrum@gmail.com> | 2019-12-04 14:14:29 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-12-04 14:14:29 -0500 |
| commit | c2141e1e162d1da2139cbb31872bdf78222f1461 (patch) | |
| tree | 70d800389a71e0c6061366fb967601e5abfec2b7 /teams/rustdoc.toml | |
| parent | 30ea91879263d68526c5f07242109cbf6784e8fc (diff) | |
| parent | 5325e3c57ba7151e123ce93256b4675580e47d4d (diff) | |
Merge pull request #182 from QuietMisdreavus/docsrs-team
spin off docs.rs team from rustdoc team
Diffstat (limited to 'teams/rustdoc.toml')
| -rw-r--r-- | teams/rustdoc.toml | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/teams/rustdoc.toml b/teams/rustdoc.toml index 26e91c1..2f10135 100644 --- a/teams/rustdoc.toml +++ b/teams/rustdoc.toml @@ -2,12 +2,11 @@ name = "rustdoc" subteam-of = "devtools" [people] -leads = ["QuietMisdreavus"] +leads = ["GuillaumeGomez"] members = [ "GuillaumeGomez", "QuietMisdreavus", "ollie27", - "onur", "kinnison", ] @@ -25,7 +24,7 @@ ping = "rust-lang/rustdoc" [website] name = "Rustdoc team" -description = "Documentation tools including Rustdoc and docs.rs" +description = "Rustdoc, the documentation tool" discord-invite = "https://discord.gg/4yEYPuT" discord-name = "#rustdoc" |