ChrisJL

> > we can remove perms for people to run it in-server so it will only appear in DMs. > > Humm I see, just like the perms issue that...

> That's neat. > > Alright, sounds pretty good! You can set it in-app using [this](https://discordpy.readthedocs.io/en/stable/interactions/api.html#discord.app_commands.ContextMenu.default_permissions) > Setting an empty permissions field will disallow anyone except server administrators from using...

The second note in [the docs](https://discordpy.readthedocs.io/en/stable/api.html#reactions) mentions this behaviour with the event, so option 1 doesn't seem worth persuing

Just a note to whoever implements this (if it's approved) `.filenames` is an optional list of valid file names, so you would need to derive the extension from one of...

Alternately to doing this, I think extending the hyper link to include the rest of the text, and adding that it's zipped, might make it more obvious. IE `Download all...

I plan to pick this PR up soon just had time to rebase this evening

Now ready for (re)review

The snekbox Dockerfile now installs both 3.12.0 and 3.13-dev to `/lang/python/`. There is also `/lang/python/default` which is a symlink to `/lang/python/3.12/` which is what snekbox currently uses for eval. Now...

successful qualifier submission -> push submission ID to a MessageQueue -> sir-robin digests queue to add to CJMS using the forms API, fetching all the background info that Cam mentioned...

Make sure the button has some cool down, so users can't spam confirm/un-confirm