2025-07-18 22:52:42 +02:00
|
|
|
# Discord
|
|
|
|
|
DISCORD_TOKEN=
|
|
|
|
|
CHANNEL_ID=1389308172531011615
|
2025-07-25 00:16:54 +02:00
|
|
|
CLIENT_ID=1389274917509398608
|
|
|
|
|
TAG_NEEDS_TESTING=1396925576765374655
|
|
|
|
|
TAG_NEEDS_REFACTOR=1396925644197331035
|
|
|
|
|
TAG_READY_FOR_MERGE=1396925666296856667
|
|
|
|
|
DEV_ROLE_ID=1391050123630477392
|
2025-07-18 22:52:42 +02:00
|
|
|
|
|
|
|
|
# GitHub
|
|
|
|
|
GITHUB_TOKEN=
|
|
|
|
|
|
|
|
|
|
# Eden Git (Generate Personal Token on your Eden Git account)
|
|
|
|
|
EDEN_TOKEN=
|
|
|
|
|
GITHUB_REPO=Eden-CI/PR
|
|
|
|
|
POLL_INTERVAL_MS=30000
|
