points-bot Discord bot for adding, removing, and displaying points for discord users. The main branch is the version running in the GDSC VT discord.