Skip to content

Conversation

@Kobzol
Copy link
Member

@Kobzol Kobzol commented Nov 17, 2025

So that we can communicate with them all at once. This should be a more reliable alternative to the [email protected] mailing list.

So that we can communicate with them all at once. This should be a more reliable alternative to the `[email protected]` mailing list.
@github-actions
Copy link

github-actions bot commented Nov 17, 2025

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
marcoieni previously approved these changes Nov 17, 2025
@marcoieni
Copy link
Member

looks good from an infra admin perspective. probably needs a team-repo-admin review, too

teams/all.toml Outdated

# Private channel with all team members, so that we can have an easy way of reaching them.
[[zulip-streams]]
name = "rust project"
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I would make this all/private (which matches the naming of [email protected]. Then you could have an all (if it seems helpful) in the future.

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Fair enough. This channel does not necessarily be private for all information shared there, but we don't have an easy way of syncing public channels at the moment.

@Kobzol
Copy link
Member Author

Kobzol commented Nov 17, 2025

Clarified why people were excluded and renamed the stream to all/private.


# Private channel with all team members, so that we can have an easy way of reaching them.
[[zulip-streams]]
name = "all/private"
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

would be kool if this was named similar to the private one for leads

so we would have

  • project members (private)
  • project leads (private)

with this pr, we would have

  • all/private
  • project leads (private)

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

There are already a bunch of XXX/private channels, so the project leads one is an exception, I'd say, which was chosen because the channel already existed.

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

oh, in that case (offtopic for this pr here), could it be renamed to leads/private to match others

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I don't think we can automatically rename the channel through team, it would probably just create a new one. We'd have to do it by hand, but also sync it with team, so that it doesn't recreate a channel with the old name. So it's not trivial to rename.

@jieyouxu jieyouxu added needs-infra-admin-review This change requires one of the `infra-admins` to review. needs-team-repo-admin-review This change requires one of the `team-repo-admins` to review. S-waiting-on-review Status: waiting on review from a team/WG/PG lead, an infra-admin, and/or a team-repo-admin. labels Nov 18, 2025
@Kobzol
Copy link
Member Author

Kobzol commented Nov 18, 2025

The funding page is now live (https://rust-lang.org/funding/), so it would be cool to have this channel so that I can tell Project members to add their GH sponsors to team :) (btw I don't think this needs infra-admin review?).

@jieyouxu jieyouxu removed the needs-infra-admin-review This change requires one of the `infra-admins` to review. label Nov 18, 2025
@jackh726
Copy link
Member

Obviously I'm a big plus on this, but want to make sure that this has at least a general nod of approval from the council.

@Kobzol
Copy link
Member Author

Kobzol commented Nov 18, 2025

Asked here + we can discuss on Friday.

@Kobzol
Copy link
Member Author

Kobzol commented Nov 21, 2025

We discussed it at today's Council meeting. No one seemed opposed to the idea, and I got some thumbs up. So I think that we can move forward here.

@jackh726 jackh726 added this pull request to the merge queue Nov 22, 2025
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Nov 22, 2025
@jackh726
Copy link
Member

I went ahead and created the stream on zulip.

@jackh726 jackh726 added this pull request to the merge queue Nov 22, 2025
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Nov 22, 2025
@jackh726
Copy link
Member

huh...not sure what happened, I messed up the name and permissions of the channel on zulip? Fixed, trying again

@jackh726 jackh726 added this pull request to the merge queue Nov 22, 2025
Merged via the queue into rust-lang:main with commit 736acbc Nov 22, 2025
3 checks passed
@Kobzol Kobzol deleted the t-all-private branch November 22, 2025 07:19
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

needs-team-repo-admin-review This change requires one of the `team-repo-admins` to review. S-waiting-on-review Status: waiting on review from a team/WG/PG lead, an infra-admin, and/or a team-repo-admin.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants