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
It isn't per stream, it's globally configured in Organization Settings > Linkifiers.
Ah, too bad :-(
org-name/repo-name#XYZ works though, and we can do short versions like
repo-name#XYZ for commonly-referred-to repos.
I was thinking of t-compiler/wg-rls-2.0, which most of the time should use the RA repo instead
repo-name#XYZ would be a good workaround
Ah, that works already. Thanks :-D.
You can see all the available linkifiers in the settings, although only admins can add them.