Stream: zulip

Topic: Topic title PR links


Laurențiu Nicola (Jan 31 2020 at 12:15, on Zulip):

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.

davidtwco (Jan 31 2020 at 12:19, on Zulip):

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

Laurențiu Nicola (Jan 31 2020 at 12:20, on Zulip):

Ah, too bad :-(

davidtwco (Jan 31 2020 at 12:20, on Zulip):

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

Laurențiu Nicola (Jan 31 2020 at 12:21, on Zulip):

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

Laurențiu Nicola (Jan 31 2020 at 12:21, on Zulip):

repo-name#XYZ would be a good workaround

Laurențiu Nicola (Jan 31 2020 at 12:25, on Zulip):

rust-analyzer#1

Laurențiu Nicola (Jan 31 2020 at 12:25, on Zulip):

Ah, that works already. Thanks :-D.

Sharif Naas (Feb 04 2020 at 02:34, on Zulip):

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

Last update: Jun 07 2020 at 10:25UTC