Stream: general

Topic: Way to dismiss or merge highfive CI failure info


Charles Lew (Apr 29 2020 at 17:48, on Zulip):

Hi, is there a way to dismiss or merge multiple highfive CI failure info? I'm thinking about a bors command or something.

Jake Goulding (Apr 29 2020 at 17:49, on Zulip):

I thought they got marked as resolved automatically on subsequent postings

RalfJ (Apr 29 2020 at 17:50, on Zulip):

do they? I do that manually, have never seen it happen automatically

simulacrum (Apr 29 2020 at 17:50, on Zulip):

nah, I don't think so, though that would be great

simulacrum (Apr 29 2020 at 17:50, on Zulip):

there's no nice way to do it iirc in the github api

simulacrum (Apr 29 2020 at 17:51, on Zulip):

maybe needs graphql or something, I forget, and regardless it'd be a bit hard to track which comments need resolving

Jake Goulding (Apr 29 2020 at 18:00, on Zulip):

Maybe I've just seen when @RalfJ has resolved them!

Jake Goulding (Apr 29 2020 at 18:01, on Zulip):

I do dislike that I don't know how to see who resolved a comment

Last update: Jun 05 2020 at 22:55UTC