highfive icon indicating copy to clipboard operation
highfive copied to clipboard

Published 20 hours ago • verified publisher icon rust-lang

highfives misses some PRs

Open RalfJung opened this issue 3 years ago • 1 comments

Sometimes PRs get created without highfive reacting to them. Here is a recent example: https://github.com/rust-lang/rust/pull/93194.

This is a problem because we are relying on highfive to notify us of changes in certain parts of the codebase, which is circumvented by these spurious outages.

RalfJung avatar Jan 25 '22 16:01 RalfJung

Another example that actually seems to be related to the PR itself rather than a random outage: rust-lang/rust#100815 was missed, and when it was reopened as rust-lang/rust#100855 over a day later, it was missed again.

Xiretza avatar Aug 22 '22 09:08 Xiretza