-
-
Notifications
You must be signed in to change notification settings - Fork 751
Re-evaluate snippet with emoji reaction #676
Copy link
Copy link
Closed
Labels
a: utilityRelated to utility commands: (bot, eval, extensions, jams, reminders, snekbox, utils)Related to utility commands: (bot, eval, extensions, jams, reminders, snekbox, utils)p: 3 - lowLow PriorityLow Prioritys: WIPWork In ProgressWork In Progresst: featureNew feature or requestNew feature or request
Metadata
Metadata
Assignees
Labels
a: utilityRelated to utility commands: (bot, eval, extensions, jams, reminders, snekbox, utils)Related to utility commands: (bot, eval, extensions, jams, reminders, snekbox, utils)p: 3 - lowLow PriorityLow Prioritys: WIPWork In ProgressWork In Progresst: featureNew feature or requestNew feature or request
Type
Fields
Give feedbackNo fields configured for issues without a type.
Abstract
It would be nice to be able to re-evaluate the same snippet if it has been edited, using the same message via an emoji interaction.
Specification
An emoji like this one 🔄 should be added to every evaluated user message, and if the user react with the same emoji on his message (along with the bot), a new eval task should trigger with the updated message content. If the message content wasn’t updated since last eval, the new eval task should silently cancel. Either way, the user reaction should be deleted and be ready to be re-evaluated again, once the last eval have finished.
Rationale
For now, when a eval didn’t go as plan, the user need to copy the snippet, paste it, modify it, and then send it. This take some time and some place in the chat, plus copy pasting text with markdown can be quite frustrating. Let’s make it easier!