Discord disconnect breaks 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.
Deleting a branch is permanent. It CANNOT be undone. Continue?