This is a small discord bot to manage some Compsoc server specific things related to moderation
  • Rust 81.3%
  • Nix 18.7%
Find a file
Repository files (latest commit first)
Filename Latest commit message Latest commit date
Brendan Golden 49ef5a6230
All checks were successful
/ check_lfs (push) Successful in 3s
On_Push / lint_fmt (push) Successful in 9s
On_Push / lint_clippy (push) Successful in 32s
On_Push / build (push) Successful in 34s
On_Push / deploy (push) Successful in 7s
feat: wipes the old logs every 24hrs
2026-10-15 18:22:56 +01:00
.forgejo/workflows ci: testing complete 2026-10-14 20:05:26 +01:00
db/migrations feat: switched over to using values from teh db 2026-10-14 02:42:57 +01:00
src feat: wipes the old logs every 24hrs 2026-10-15 18:22:56 +01:00
.envrc feat: add direnv for teh repo 2026-10-13 23:41:12 +01:00
.gitattributes Initial commit 2025-06-24 18:36:07 +00:00
.gitignore feat: add direnv for teh repo 2026-10-13 23:41:12 +01:00
.mailmap Initial commit 2025-06-24 18:36:07 +00:00
.rustfmt.toml feat: fmt and clippy on unstable 2026-10-14 16:11:11 +01:00
.wakatime-project fix: typo 2026-10-12 02:33:50 +01:00
Cargo.lock feat: update dependencies 2026-10-14 19:19:35 +01:00
Cargo.toml feat: update dependencies 2026-10-14 19:19:35 +01:00
example.env [skip ci] feat: a user flagged for spammign should now ping the moderators, as well as only appear when the user is flagged, not when they update anything else. 2025-07-01 16:26:06 +01:00
flake.lock feat: update dependencies 2026-10-14 01:10:24 +01:00
flake.nix feat: setup the new env vars that teh bot will need 2026-10-14 19:08:12 +01:00
LICENSE Initial commit 2025-06-24 18:36:07 +00:00
README.md doc: added more information on how to set up teh bot channel 2026-10-15 18:02:23 +01:00
rust-toolchain.toml feat: update dependencies 2026-10-14 01:10:24 +01:00

Discord Bot: T-800

This discord bot is for logging only.
It is intended to replace Carl-Bot with an in-house custom bot which suits our needs.
Its purpose is to aid in moderation in case users are causing trouble/harassing.

It keeps track of:

  • Username Changes
    • Displays as a diff
  • Avatar Changes
    • Displays old and new
  • If the user is flagged for sending DM's to folks
    • Possibly a spammer
  • A message was deleted
    • Displays text content
    • Displays files/images if they were part of it
  • A message was edited
    • Displays a diff
    • Displays files/images if they were removed (they cannot be added)

Install

  • Open up this link to add the bot to your server
  • Run the /t800 command and supply
    • role_moderator This is the discord role that will be pinged on some instances which require immediate concern
    • bot_channel This is teh channel that the bot will output its logs
    • retention_days (optional) The amount of days records will persist in bot_channel, default is 365
      • Records can be saved by adding an emoji to it

bot_channel considerations

  • The bot needs these permissions:
    • View Channel
    • Send Messages
    • Manage Messages
    • Read Message History
  • It is recommended that the moderators (committee) dont have the Manage Messages permission in this channel.
    • It will prevent them deleting items related to them should that be an issue.

Logs

  • Default retention period of the logs is 365 days.
  • Logs can be saved by adding an emoji to them.
  • Use appropriate permissions for the channel the msgs are in.
    • Potentially sensitive data in it if somone deleted it from the main areas