Hi, is there a way to dismiss or merge multiple highfive CI failure info? I'm thinking about a bors command or something.
I thought they got marked as resolved automatically on subsequent postings
do they? I do that manually, have never seen it happen automatically
nah, I don't think so, though that would be great
there's no nice way to do it iirc in the github api
maybe needs graphql or something, I forget, and regardless it'd be a bit hard to track which comments need resolving
Maybe I've just seen when @RalfJ has resolved them!
I do dislike that I don't know how to see who resolved a comment