I realized having to host this potentially indefinitely might not be the best idea, so I am going to shut down this gitea instance eventually.
You’ll have time, at least until the end of 2022, probably longer, but please just get all your stuff somewhere safe in case we ever disappear.
If any of your build scripts rely on my (kageru’s) projects hosted here, check my Github or IEW on Github for encoding projects. If you can’t find what you’re looking there, tell me to migrate it.
Occasionally, discord dies. This is logged by Javacord as 2019-11-12 03:40:32.182+0100 INFO org.javacord.core.util.gateway.DiscordWebSocketAdapter Could not resume session.
After such a disconnect, the bot will mostly continue to function as usual, but all role queries return empty lists, breaking permission checks.
Occasionally, discord dies. This is logged by Javacord as `2019-11-12 03:40:32.182+0100 INFO org.javacord.core.util.gateway.DiscordWebSocketAdapter Could not resume session.`
After such a disconnect, the bot will mostly continue to function as usual, but all role queries return empty lists, breaking permission checks.
Occasionally, discord dies. This is logged by Javacord as
2019-11-12 03:40:32.182+0100 INFO org.javacord.core.util.gateway.DiscordWebSocketAdapter Could not resume session.After such a disconnect, the bot will mostly continue to function as usual, but all role queries return empty lists, breaking permission checks.