Outdated Merge commit warning

[ZuseZ4]

After seing a github notification about merge conflicts with my PR, I used githubs GUI to resolve them, which I guess I shouldn't do.
It introduced a merge, which promptly caused this bot message, telling me how to get rid of them:
rust-lang/rust#129176 (comment)

I thus fixed it locally and force-pushed, but unlike previous outdated messages which automatically got minimized, this stayed.
I guess that's not intended and for this message there is just no trigger to minimize it yet?