mirror of
https://github.com/tldr-pages/tldr.git
synced 2025-04-22 01:02:09 +02:00
![]() - 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 |