Gaëtan Gilbert (May 11 2023 at 13:26): Gaëtan Gilbert (May 11 2023 at 13:26):Could we add #XXX -> https://github.com/coq/coq/issues/XXX to the automatic linkifiers on the zulip?
Théo Zimmermann (May 11 2023 at 13:35):This bears the risk of creating incorrect links when used in the context of a stream of a different project (such as math-comp, jsCoq or Equations). Note that coq#1234 is already supported.
Gaëtan Gilbert (May 11 2023 at 13:39):I would like to have the Merge PR #XXX in the notifications stream to be linkified
I don't mind incorrect links, we already get loads of delimiters.ml etc
Théo Zimmermann (May 11 2023 at 16:23):Let's see what others think. In the meantime, I tried inserting a linkifier that recognize the full "Merge PR #XXX:" pattern.
Related: https://github.com/zulip/zulip/issues/4627
Gaëtan Gilbert (Nov 16 2023 at 14:19):does it look like it stopped workng for anyone else?
Théo Zimmermann (Nov 22 2023 at 17:09):It's broken for me too since Nov 16. The linkifier is still defined, so perhaps this is the Zulip update of Nov 16 (https://github.com/zulip/zulip/releases/tag/7.5) that broke it? Someone wants to open a bug report?
Théo Zimmermann (Nov 22 2023 at 17:10):For reference, the pattern is: Merge PR #(?P<id>[0-9]+):
Gaëtan Gilbert (Nov 22 2023 at 17:18):https://github.com/zulip/zulip/issues/27854
Last updated: Nov 29 2023 at 21:01 UTC