Merge branch 'main' of github.com:pvanarkel/discord-jeeves into main

This commit is contained in:
2025-03-30 20:51:19 +02:00
19 changed files with 221 additions and 287 deletions

View File

@@ -17,6 +17,7 @@ def roll(notation):
result = int(roll)
return roll,result
<<<<<<< HEAD
# check if user has admin role and output True if it's the case.
def checkrole(roles):
for role in roles:
@@ -30,3 +31,5 @@ def checkchannel(channelid):
else:
return False
=======
>>>>>>> d194332843b93f36e724aeca0dcd41c96a10ae95