Stream: zulip

Topic: Topic title PR links


view this post on Zulip Laurențiu (Jan 31 2020 at 12:15):

Zulip can turn PR and issue numbers into GitHub links, but is there a way to set the destination repository per-stream? Right now they all seem to go to rust-lang/rust.

view this post on Zulip davidtwco (Jan 31 2020 at 12:19):

It isn't per stream, it's globally configured in Organization Settings > Linkifiers.

view this post on Zulip Laurențiu (Jan 31 2020 at 12:20):

Ah, too bad :-(

view this post on Zulip davidtwco (Jan 31 2020 at 12:20):

org-name/repo-name#XYZ works though, and we can do short versions like repo-name#XYZ for commonly-referred-to repos.

view this post on Zulip Laurențiu (Jan 31 2020 at 12:21):

I was thinking of t-compiler/wg-rls-2.0, which most of the time should use the RA repo instead

view this post on Zulip Laurențiu (Jan 31 2020 at 12:21):

repo-name#XYZ would be a good workaround

view this post on Zulip Laurențiu (Jan 31 2020 at 12:25):

rust-analyzer#1

view this post on Zulip Laurențiu (Jan 31 2020 at 12:25):

Ah, that works already. Thanks :-D.

view this post on Zulip Cyphase (Feb 04 2020 at 02:34):

You can see all the available linkifiers in the settings, although only admins can add them.


Last updated: Oct 11 2021 at 22:34 UTC