When Props-Bot is already running, a run triggered by a comment will be cancelled, which will send out email/push notifications (depending on settings) to the commenter. This can get quite noisy when involved discussions across various threads in a PR, for example.
The Props-bot action is likely quick enough that we don't need to worry about concurrency, but I think it would be good to discuss this further to avoid a bunch of folks setting up email filter rules, or worse, learning to ignore notifications due to the number they receive.
Description
When Props-Bot is already running, a run triggered by a comment will be cancelled, which will send out email/push notifications (depending on settings) to the commenter. This can get quite noisy when involved discussions across various threads in a PR, for example.
The Props-bot action is likely quick enough that we don't need to worry about concurrency, but I think it would be good to discuss this further to avoid a bunch of folks setting up email filter rules, or worse, learning to ignore notifications due to the number they receive.
Version
v1
Workflow file
No response
Link
No response