cc32d534dc
Implement code style suggestions
2024-05-09 23:22:51 -07:00
aa3907466c
Support new username format
2023-09-09 10:42:08 -07:00
c8de71854b
Remove custom precondition; use Discord permissions
2023-01-14 21:54:23 -08:00
362d288424
Move commands into subdirectory, create base class
...
Base class created with potentially common properties from existing class
2023-01-14 17:50:51 -08:00
7c0c22a194
Merge branch 'main' into dev
2022-12-30 22:04:45 -08:00
7f43605a7f
Add user list fetch background task
2022-08-30 19:34:41 -07:00
92d23217b9
Remove text-based commands
2022-08-30 19:33:28 -07:00
eb7e3948cd
Sanity checking to command registration
2022-08-09 18:40:14 -07:00
b595e701c4
Load database config on initialization
...
Adapted from RegexBot.
This allows `dotnet ef` tools to make use of actual SQL credentials
rather than dummy ones.
2022-08-09 18:40:14 -07:00
53b20db3eb
Clean up logging
2022-08-09 18:40:14 -07:00
478b39f268
Implement new database methods in existing code
2022-06-28 21:46:58 -07:00
5edc7ce9ab
Remove 'last seen' filtering in list display, closes #7
2022-06-20 17:52:50 -07:00
f8d5aef4aa
Switch to Interaction Framework for slash commands
2022-05-06 21:38:36 -07:00
9f49e73540
Fix logging; change status message
2022-03-19 11:57:40 -07:00
12c421ef17
Implement slash commands
...
Functionality between existing text and new slash commands have been reimplemented, with common functionality between both methods moved to a common base class.
This may see another rewrite later to make use of the library's interactions framework.
2022-01-28 20:30:43 -08:00
d06955bf12
Auto shard count
2022-01-04 15:00:09 -08:00
5e02946502
Update dependencies
2022-01-04 14:48:35 -08:00
88bdf8103e
Update logging filters
2021-11-17 18:09:53 -08:00
ad756ae83b
Add proactive selective auto user downloading
...
This amounts to being a workaround, as Discord.Net's option is still broken for large bots.
2021-11-17 18:09:53 -08:00
13e48c91b3
Rewrite to C#
...
This new code's structure and function is partially adapted from Birthday Bot and partially ported from the previous Python-based version of World Time.
This commit introduces very minor end-user changes and no new features.
2021-11-17 18:09:53 -08:00
