Stream: zulip

Topic: Clippy stream?


view this post on Zulip Phil H (Sep 14 2020 at 10:52):

Hi, could someone with permissions create a Clippy stream here? We recently finalized our decision to move to Zulip: https://github.com/rust-lang/rust-clippy/issues/5943

view this post on Zulip lzutao (Sep 14 2020 at 11:04):

cc @simulacrum

view this post on Zulip simulacrum (Sep 14 2020 at 11:04):

Yes! I will do so shortly.

view this post on Zulip simulacrum (Sep 14 2020 at 11:06):

Done.

view this post on Zulip matthiaskrgr (Sep 14 2020 at 13:44):

Hm, when I link a #1234 issue number, it seems the link goes out to rust-lang/rust instead of rust-lang/clippy, is there a way to change that for the clippy channel only?

view this post on Zulip Laurențiu (Sep 14 2020 at 13:44):

clippy#1234

view this post on Zulip Laurențiu (Sep 14 2020 at 13:45):

An admin can set that up ^

view this post on Zulip davidtwco (Sep 14 2020 at 13:56):

clippy#1234

view this post on Zulip davidtwco (Sep 14 2020 at 13:57):

(there's a linkifier for any GitHub repo, you just need to include the org)

view this post on Zulip Eh2406 (Sep 14 2020 at 13:57):

Just checking:
cargo#1234

view this post on Zulip Eh2406 (Sep 14 2020 at 13:58):

It worked, that is really cool. Thanks for cluowing me in!

view this post on Zulip davidtwco (Sep 14 2020 at 14:07):

(what I meant would be rust-lang/cargo#1234, anything that like that which GitHub would link in a comment will work here, cargo#1234 works here because of a special rule - I believe you can see the linkifiers that have been set up in "Organization Settings > Linkifier")


Last updated: Oct 11 2021 at 22:34 UTC