Extend the reference team to the lang-docs team

[JohnTitor]

As mentioned in #443, this extends the reference team to the lang-docs team.
This is the first step, we could add folks interested in maintaining the docs later.
Added myself to the leads as a maintainer of the nomicon.

Closes #443

cc @rust-lang/lang, and @ehuss as they maintain the docs submodules on rust-lang/rust.

[pietroalbini]

Note that deploying this will need someone with admin permissions to first rename the team on the GitHub interface, otherwise we'll lose all permissions configured in the repositories: sync-team doesn't handle renames, it just removes and then recreates the team.

[JohnTitor]

@pietroalbini If my understanding is correct, the current "reference" team doesn't use sync-team as it doesn't have the [[github]] orgs = ["rust-lang"] section, right?

[JohnTitor]

But yeah, we could archive the reference team then create a fresh team if it's desirable.

[pietroalbini]

@JohnTitor I think the best solution is for someone to rename the old team to the new one before merging this PR, and then merge this as-is once someone from the lang team approves the changes.

[JohnTitor]

@pietroalbini

for someone to rename the old team to the new one before merging this PR

You mean the team is on GitHub? We don't have the reference team on the GitHub teams AFAIK.

[pietroalbini]

Sorry, you're right :)

Then this PR is fine to merge as soon as someone from lang acks.

[JohnTitor]

On #443, Josh and Taylor from the lang added 👍 so we could say this got some approvals?

The core team (i.e. org owner) only can merge this and set up for repository permission so could I ask @nikomatsakis as a core and lead of the lang to do that?

[nikomatsakis]

Looks great!

[ehuss]

This link is broken. The zulip stream is t-lang/doc.

[JohnTitor]

Oops, thanks. Will fix it soon.
EDIT: Opened #454.