- Removed all the permissions of the bot, so that github won't remove the token. |
||
|---|---|---|
| .. | ||
| build-index.js | ||
| build.sh | ||
| generate-pdf.sh | ||
| post_pr_comment.py | ||
| template.tex | ||
- Removed all the permissions of the bot, so that github won't remove the token. |
||
|---|---|---|
| .. | ||
| build-index.js | ||
| build.sh | ||
| generate-pdf.sh | ||
| post_pr_comment.py | ||
| template.tex | ||