highfive
highfive copied to clipboard
Enable retry choose_reviewer
Sometimes, highfive fails assign reviewer. ex(https://github.com/rust-lang/rust/pull/57913)
If PR owner doesn't know appropriate reviewer, they can't write r?
by themselves.
So I want the way that re choose_reviewer action.
Something like r? _retry
, r? _
.(We can't use underscore to Github username)
Thanks for reporting this! I'd prefer if we fix the underlying cause of highfive crashing instead of adding patches to retry failures though. That specific crash was caused by https://github.com/rust-lang-nursery/highfive/issues/190.
I think the better workaround for #190 is https://github.com/rust-lang-nursery/highfive/issues/187.
I’ve opened https://github.com/rust-lang/highfive/issues/241 for a different use case, but the requested functionality is the same as here.