Add role-backed repo Discord identities
This commit is contained in:
parent
e8acb67141
commit
ed36561c8d
15 changed files with 427 additions and 9 deletions
|
|
@ -60,6 +60,9 @@ CODEX_MODEL_REASONING_EFFORT=low
|
|||
CODEX_EXEC_TIMEOUT_MS=120000
|
||||
STYLE_PACK_PATH=styles/void-default.md
|
||||
SYSTEM_MESSAGES_PATH=config/system-messages.json
|
||||
# Private registry for repo identities that use Discord roles as address targets
|
||||
# and the shared webhook persona pipe as their voice.
|
||||
REPO_DISCORD_IDENTITIES_PATH=.voidbot/private/repo-discord-identities.json
|
||||
INDEX_ALL_CHANNELS=false
|
||||
INDEXED_CHANNEL_IDS=
|
||||
EXCLUDED_CHANNEL_IDS=
|
||||
|
|
|
|||
Loading…
Reference in a new issue