- Sending the PR id and message as a POST request. - The bot running on a separate server receives the message and posts the comment on the PR. |
||
|---|---|---|
| .. | ||
| build-index.js | ||
| build.sh | ||
| generate-pdf.sh | ||
| send_to_bot.py | ||
| template.tex | ||
- Sending the PR id and message as a POST request. - The bot running on a separate server receives the message and posts the comment on the PR. |
||
|---|---|---|
| .. | ||
| build-index.js | ||
| build.sh | ||
| generate-pdf.sh | ||
| send_to_bot.py | ||
| template.tex | ||