Hey, not sure if this is the right place to ask (is it?)
There is a request-ci label which saves me the hassle of going to jenkins, entering all the details and starting a build for pull requests.
It would be useful to me if there was a similar label for resume-ci (when most builds pass but one is flakey or failed due to an unrelated infra issue).
Bonus points if it queues the "resume" even if the build didn't finish yet - but either way would save me time.