Repository navigation

Add Discord role sync with role-centric architecture - #22

Merged

dsp-ant merged 8 commits into

mainfrom

discord-role-sync

Jan 13, 2026

Merged

Add Discord role sync with role-centric architecture#22
dsp-ant merged 8 commits into
mainfrom
discord-role-sync

Commits on Jan 13, 2026
- Add Discord role sync with role-centric architecture
  dsp-ant
  committed
  f2de04b
- Fix GitHub team ordering and make Discord integration optional
  dsp-ant
  committed
  1698509
- Reconcile Discord roles for listed users
  dsp-ant
  committed
  524eba4
- Fix descriptions to match existing resources
  dsp-ant
  committed
  b3fab5c
- Cache Pulumi plugins and fix GITHUB_TOKEN for pulumi install
  dsp-ant
  committed
  24d95d0
- Remove accidentally committed state backup
  dsp-ant
  committed
  a2bbad3
- Use github.token for pulumi install
  dsp-ant
  committed
  273135c
- Fix formatting
  dsp-ant
  committed
  21b502e