Skip to content

Conversation

@Kobzol
Copy link
Member

@Kobzol Kobzol commented Oct 28, 2025

Since the official Discord server has been retired, we no longer need automation around it.

The last two commits break the v1 API. I searched GitHub through code search and haven't found any usage of this, but it's possible that someone used it through the REST API directly, not through code.
If you don't want to break it, I can just always fill an empty array and None there.

@Kobzol Kobzol force-pushed the remove-discord-roles branch from 0a471c9 to a777f81 Compare October 28, 2025 18:37
@pietroalbini pietroalbini added this pull request to the merge queue Oct 28, 2025
Merged via the queue into rust-lang:master with commit 25b5c87 Oct 28, 2025
3 checks passed
@Kobzol Kobzol deleted the remove-discord-roles branch October 28, 2025 21:43
senekor added a commit to rust-lang/www.rust-lang.org that referenced this pull request Oct 28, 2025
Upstream PR that removed the discord field:
rust-lang/team#2043
senekor added a commit to rust-lang/www.rust-lang.org that referenced this pull request Oct 28, 2025
Upstream PR that removed the discord field:
rust-lang/team#2043
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants