search

rust-lang / highfive

Github hooks to provide an encouraging atmosphere for new contributors
Apache License 2.0
185 stars 128 forks source link

highfives misses some PRs #379

Open RalfJung opened 2 years ago

RalfJung commented 2 years ago

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.

Xiretza commented 2 years ago

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.