Stream: t-compiler/help

Topic: Is there a way to hide high-five messages on a PR?


Joshua Nelson (Jul 11 2020 at 04:56, on Zulip):

There are a lot of 'The job x86_64-gnu-llvm-8 of your PR failed' messages on https://github.com/rust-lang/rust/pull/73566, which is annoying because there is a lot of important discussion there that's being obscured. Is there a way to hide those messages from high-five?

eddyb (Jul 11 2020 at 05:30, on Zulip):

@Joshua Nelson yes, but you likely don't have the power. feel free to link me to PRs to clean up

eddyb (Jul 12 2020 at 02:05, on Zulip):

@Joshua Nelson oops I forgot about this. and then I looked at it and it seems like a lot of work :(

eddyb (Jul 12 2020 at 02:05, on Zulip):

mostly to show the comments in the first place, before being able to hide them

Joshua Nelson (Jul 12 2020 at 16:54, on Zulip):

yeah, that's why I didn't ask haha

Joshua Nelson (Jul 12 2020 at 16:55, on Zulip):

there's a lot of comments on that PR

oli (Jul 12 2020 at 16:59, on Zulip):

maybe we could let bors hide all its comments whenever an @bors command is issued?

simulacrum (Jul 12 2020 at 17:00, on Zulip):

IIRC Pietro has mentioned in the past that the API doesn't support hiding comments?

davidtwco (Jul 12 2020 at 17:00, on Zulip):

(I've went through and hidden most of the comments on that thread that I'd normally hide)

davidtwco (Jul 12 2020 at 17:01, on Zulip):

simulacrum said:

IIRC Pietro has mentioned in the past that the API doesn't support hiding comments?

There's this - https://docs.github.com/en/graphql/reference/mutations#minimizecomment

simulacrum (Jul 12 2020 at 17:02, on Zulip):

ah okay, I think it must be that the REST (v3) API doesn't support it

Last update: Sep 27 2020 at 13:30UTC