English (en) • 日本語 (ja) • Instllation Guide
Review-bot is a discord bot made for Review at 42 Tokyo.
It reduces the annoyance of creating and deleting review channels,
allowing you to perform smooth reviews on Discord.
Due to COVID-19, the review of assignments at 42Tokyo shifted to online, and we began using a voice channel on Discord. This added extra steps of creating a review voice channel before and deleting it after each review. The Review-bot has been created to make this review process a little less tedious.
Also, with online reviews, it has become more difficult to remember whether you have met the person over a previous review.
To be able to quickly check the review history in such situation, a history command has been implemented to display the review history using the 42API.
Review-bot uses Slash Commands, a Discord feature to interact with users.
Since all interactions with Review-bot return ephemeral responses, the bot's responses are visible only to the user. In other words, no matter which text channel you write to, your interaction with the bot will not be visible to other users.
Thus, you can use any text channel you like to enter commands of the Review-bot.
- A review channel is created with the review information:
project-name/login (reviewer)/xx:xx~ (begin-at) - If the reviewer is not in the review channel even after the starting time, the bot will remind the user by mentioning them on the channel.
| Option | Required | Details |
|---|---|---|
[project] |
✔︎ | Name of the project to review |
[time] |
✔︎ | Starting time of the review（hhmm） |
[reviewer] |
Set a user to the reviewer (default: yourself) |
- Delete the review channel when it's over.
- Only channels under the review category can be deleted.
| Command | Details |
|---|---|
/done choose |
- Display the list of your review channels - Delete the selected channels |
/done all |
- Delete all your review channels |
/done current |
- Delete review channel which you are connected now |
- Display at most 20 review historys up to yesterday.
| Option | Required | Details |
|---|---|---|
| None | Display your recent review histories | |
[user] |
Display your review histories with the user |
⚠️ Each member on the server should set 42 login names as their server nickname