Open retronym opened 9 years ago
I think this is one of the fundamental root causes of the overall sluggish motion of our PR queue, actually. CI takes an hour or so, which is long enough that no human won't have moved onto something else and forgotten about it by then. then, the likely time before they return to the ticket and take further action is at least a day, often multiple days.
Similarly, we should ping the channel when a merge commit fails validation.