Skip to content
This repository was archived by the owner on Mar 31, 2025. It is now read-only.

Sync Discord Roles - #2

Closed
technetos wants to merge 15 commits into
rust-lang:masterfrom
technetos:master
Closed

Sync Discord Roles#2
technetos wants to merge 15 commits into
rust-lang:masterfrom
technetos:master

Conversation

@technetos

@technetos technetos commented Feb 17, 2021

Copy link
Copy Markdown
Member

This PR adds support for syncing team members discord roles with their membership in the teams api.

A team that

  1. Has at least one [[discord-roles]] in the team config
  2. Has members who have their discord-id in the people config

will have their members automatically updated on discord with that corresponding teams role.
Additionally roles that do not exist in the discord will be created and assigned to members accordingly. Newly created roles have minimum permissions.

Examples of discord role in team config

[discord-role]
name = "community-team" // required
color = "#000000" // optional

@rylev

rylev commented Nov 16, 2022

Copy link
Copy Markdown
Member

@technetos is there a reason to keep this open? Would it make sense to close or do you want to rebase, and I can review?

@rylev

rylev commented Jan 5, 2023

Copy link
Copy Markdown
Member

Going to close this for now. Feel free to reopen if you still think it's useful and you have time to work on getting it in mergable shape.

@rylev rylev closed this Jan 5, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants