Enable syncing for Zulip #t-docs-rs/private

[GuillaumeGomez]

So based on #2075, we need to invite rust-lang-owner to the stream first.

Since we also want to have the infra team to have access to this channel, I added them as well.

cc @syphar

[Kobzol]

It works a bit differently. The channel should only be included in one file (here), but it should have:

extra-teams = [
    "infra",
]

[GuillaumeGomez]

Oh I see, thanks!

[GuillaumeGomez]

Seems like we can't have two teams invited into a private stream?

EDIT: kobzol provided the answer. :)

[marcoieni]

I saw @walterhpearce is in the stream, too. So this PR will remove him probably.

[marcoieni]

we could add him with the extra-people array:

extra-people = [
    "walterhpearce",
]

[GuillaumeGomez]

Who are they?

[marcoieni]

Walter works at the rust foundation as a security engineer

[GuillaumeGomez]

Oh I see. Why aren't they part of the infra team? Would make things simpler. :)

[marcoieni]

Less work for me is always welcome 😁
Jokes aside, he can answer for himself when he is online, but I think his work is cross team, i.e. from crates-io vulnerabilities to compiler vulnerabilities, so he could be in almost every team in theory 😂

My hope is that the project creates a dedicated security team one day :)

[GuillaumeGomez]

That would be convenient! Well, adding them in the meantime.

[github-actions]

Dry-run check results

[WARN  sync_team] sync-team is running in dry mode, no changes will be applied.
[INFO  sync_team] synchronizing github

[marcoieni]

Here is the diff:

    📝 Updating stream membership:
      Name: t-docs-rs/private
      ID: 356854
      Members:
        ➕ 259697
        − 125254
        − 210267
        − 310345
        − 452253

so consider adding back some of these zulip accounts if you think they should be there!

[GuillaumeGomez]

Most of them were former members of the docs.rs team (sadness 😿), so I think it's as expected. They can still ask us to be brought back on the channel if needed.