Skip to content

Add GitHub user ID field to LDAP #639

New issue
New issue
Open
Open
Add GitHub user ID field to LDAP#639
Labels
component: servicesAn issue relating to a Python Discord service (e.g. Bot, Site, Lancebot)group: docsIssues and pull requests related to our documentation
@jchristgit

Description

@jchristgit
jchristgit
opened on Mar 26, 2026

To synchronize Discord roles with GitHub, we need a way to associate GitHub
users with our Discord members. Utilize the existing LDAP infrastructure for
this, and expand LDAP to accept a GitHub user ID field, intended to be used by
King Arthur The Terrible.

Metadata

Metadata

Assignees

No one assigned

    Labels

    component: servicesAn issue relating to a Python Discord service (e.g. Bot, Site, Lancebot)group: docsIssues and pull requests related to our documentation

    Type

    No type

    Projects

    Infrastructure

    Status

    Up next

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions