Repository navigation

Support Discord role permissions; grant maintainers external emojis - #247

Merged

dend merged 2 commits into

mainfrom

discord-role-permissions

Nov 11, 2026

Merged

Support Discord role permissions; grant maintainers external emojis#247
dend merged 2 commits into
mainfrom
discord-role-permissions

Commits on Nov 11, 2026
- Support Discord role permissions; grant maintainers external emojis
  
  dend
  and
  claude
  committed
  fe2724d
- Merge branch 'main' into discord-role-permissions
  dend
  authored
  649dad8