| Commit message (Collapse) | Author | Lines |
|
Co-authored-by: Shivansh-007 <[email protected]>
Co-authored-by: Joe Banks <[email protected]>
|
|
No code changes in this commit.
Co-authored-by: Shivansh-007 <[email protected]>
Co-authored-by: Joe Banks <[email protected]>
|
|
With the branding-side PR merged, we can now target the production
branch.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Fix issues converting timestamps to datetimes and vice-versa. The main
culprit id `datetime.timestamp()`, which always assumes naïve objects
are in local time. That behaviour conflicts with discord.py, which
returns naïve objects in UTC rather than local time. Switching from
`utcfromtimestamp` to `fromtimestamp` was incorrect since the latter
also assumes the timestamp is in local time.
|
|
It has some API changes, so it's best to update now before the project
starts using the library more.
|
|
We've seen an increase in help channel activity and we're running out
of help channels frequently. That's why we're increasing the number
of help channels from 38 to 42.
Note that the old configuration said 32, but we had more channels in
actual rotation due to a race condition we had in the past. The
system will never delete channels that were already in rotation,
meaning that those that were added over the limit in the past
still existed.
|
|
|
|
|
|
Co-authored-by: Joe Banks <[email protected]>
|
|
|
|
|
|
Before, the user would have to send a DM to the bot after startup
for the bot to realize there is DM history with that specific user.
Now, we force a cache refresh when a moderator invokes `!dmrelay`,
so this shouldn't be an issue anymore.
|
|
|
|
Co-authored-by: Joe Banks <[email protected]>
|
|
Co-authored-by: Joe Banks <[email protected]>
|
|
It would be strange to just send the embed with no explanation of what
it means.
|
|
The fallback event should not produce a notification.
|
|
|