This integration is for Bobot maintainers and AGH UST students
Works right out-of-the-box
You need to add following lines to Your Nginx config:
location /path/to/bobot {
try_files $uri $uri/ /path/to/bobot/index.php$is_args$args;
}
- Clone this repo or download it. Also configure Discord webhook.
- Enter the necessary data in the configuration file (without message URL)
- Upload integration files to Your public server. Remember to change permissions of
bobot.json
(chmod a+w bobot.json
). - Create
logs/
directory with correct permissions (chmod 777 logs/
). - Send message via webhook. To do that, use following URL:
http://your-server.com/path/to/bobot/?ANTISPAM_KEY&message=YOUR_MESSAGE
. ReplaceANTISPAM_KEY
with the one from Your configuration. - From Discord, copy Bobot's message ID (You'll probably need developer mode enabled) and update Your configuration. You may test it using ReqBin and
sample.json
- Configure Bobot HTTP request (or ask maintainers for it) - send HTTP POST request with
application/json
data tohttp://your-server.com/path/to/bobot/?ANTISPAM_KEY
- You can access Bobot website using
http://your-server.com/path/to/bobot/results
. Seeconfig.php
for more URLs.
No, it's only an interface to make Bobot speak on Your Discord server. So You can't send modified GRADE.md
to Your GitLab repository or make Bobot change Your grade.
No, this integration automatically sets webhook name to Bobot
and uses it's avatar.
No, this integration will edit it's message, so the best practice is to make a separate channel for it (e.g. #bobot-is-a-bot
).
Yes, use HTTP GET message
like above to send messages as Bobot. This one can be used by maintainers to communicate with students about Bobot's issues. To mention user, include <@USER_ID>
in Your message, to mention role, use <@&ROLE_ID>
. Remember to encode Your message (You may use urlencode()
in PHP).