marcelropos / HM-DiscordBot

A Discordbot by and for first semester students of HM.
8 stars 5 forks source link

Add command to add log pipe #159

Closed maxwai closed 9 months ago

maxwai commented 12 months ago

Add Command so that a Guild admin can add a log pipe into a channel.

The command should be a little different if done in the main guild.

schitcrafter commented 10 months ago

I could work on this, would make sense since I made the logging stuff.

maxwai commented 10 months ago

Sure go for it

schitcrafter commented 10 months ago

Bot.md says "Permission: Guild admin, bot admin" - we have checks::is_admin() and checks::is_owner() for the first one (guild admin), but I'm not seeing anything for bot admin...is this implemented already and I've just missed it? Or is this still todo?

maxwai commented 10 months ago

The Bot admin is anyone that is an admin on the main guild. Normally commands for bot admins can only be used in the main guild. If this is not the case in the current description, let me know and I will look at it.

schitcrafter commented 10 months ago

It's documented, in Bot.md under the section "Storage"