-
Notifications
You must be signed in to change notification settings - Fork 0
/
app.json
66 lines (66 loc) · 2.19 KB
/
app.json
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
{
"name": "Hackathon Discord Manager",
"description": "A Discord bot for managing communication and teams for an online hackathon",
"keywords": ["rust", "discord", "hackathon"],
"repository": "https://github.com/akrantz01/hackathon-bot",
"env": {
"DISCORD_TOKEN": {
"required": true,
"description": "Discord token to authenticate with. This should be from your application under the Bot section in your Discord Developer Portal."
},
"RUST_LOG": {
"required": true,
"value": "info",
"description": "Minimum level to log to the console"
},
"TABLES_CATEGORY_ID": {
"required": true,
"description": "The ID of the channel category where you want the team channels to be put."
},
"MENTORS_CHANNEL_ID": {
"required": true,
"description": "The ID of the channel where you want all mentor notifications to be send. This should be a channel accessible by mentors and administrators"
},
"REPORTS_CHANNEL_ID": {
"required": true,
"description": "The ID of the channel where you want all report notifications to be sent. This should be a channel only accessible by the administrator and moderators"
},
"EVERYONE_ROLE_ID": {
"required": true,
"description": "The ID of the @everyone role."
},
"BOT_ROLE_ID": {
"required": true,
"description": "The ID of the role for this bot. This role should be autogenerated by Discord. All category, channel, and role IDs can be obtained by right-clicking on the resource and clicking on \"Copy ID\"."
},
"TEAMLESS_ROLE_ID": {
"required": true,
"description": "The ID of the role for all users without a team. This includes those who are going solo."
},
"MENTOR_ROLE_ID": {
"required": true,
"description": "The ID of the role for all mentors."
},
"MANAGER_ROLE_ID": {
"required": true,
"description": "The ID of the role for all manager/administrator users."
}
},
"buildpacks": [
{
"url": "emk/rust"
}
],
"addons": [
{
"plan": "heroku-redis:hobby-dev",
"as": "redis"
}
],
"formation": {
"worker": {
"quantity": 1,
"size": "free"
}
}
}