rust-highfive only warns about updated submodules when a PR is created

[varkor]

Or maybe it also warns when a new commit is pushed, but definitely not when commits are force pushed (as seen in rust-lang/rust#62235).

[jyn514]

Looking at app.py, it seems like highfive only ever runs on new PRs, never changes. Someone will need to add the ability to look at changes to highfive (or more likely, rewrite the whole thing into triagebot). @Mark-Simulacrum do you have opinions on which is the right approach?

[RalfJung]

The issue also applies to pinging teams when a PR touches code in their responsibility.

[ehuss]

I have opened a PR at rust-lang/triagebot#1625 which aims to solve this issue (and moves "mentions" to triagebot).

[ehuss]

This should now essentially be fixed in triagebot, so I think this could probably be closed.