Stream: Miscellaneous

Topic: issue linkifier


view this post on Zulip 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?

view this post on 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.

view this post on Zulip 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

view this post on Zulip 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

view this post on Zulip Gaëtan Gilbert (Nov 16 2023 at 14:19):

does it look like it stopped workng for anyone else?

view this post on Zulip 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?

view this post on Zulip Théo Zimmermann (Nov 22 2023 at 17:10):

For reference, the pattern is: Merge PR #(?P<id>[0-9]+):

view this post on Zulip Gaëtan Gilbert (Nov 22 2023 at 17:18):

https://github.com/zulip/zulip/issues/27854


Last updated: May 18 2024 at 10:02 UTC