Renamed clippy zulip group

[apiraino]

As per Zulip discussion.

cc: @Manishearth @flip1995

[apiraino]

Would it make sense to rename the Zulip channel T-clippy-contributors into (f.e.) t-clippy/contributors as well?

[jieyouxu]

As requested on https://rust-lang.zulipchat.com/#narrow/channel/301329-t-devtools/topic/Lonely.20zulip.20channels.20outside.20this.20category/near/614942386

[jieyouxu]

Would it make sense to rename the Zulip channel T-clippy-contributors into (f.e.) t-clippy/contributors as well?

No, usually teams take the form T-*, contributors subteam typically look like T-$team-contributors with no /.

EDIT: sorry, I thought u meant the zulip group, but yes the zulip channel would probably make sense.

EDIT 2: hm wait, I think you actually did mean the team

[github-actions]

Dry-run check results

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

[flip1995]

Thanks!