Could we add
https://github.com/coq/coq/issues/XXX to the automatic linkifiers on the zulip?
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.
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
Let's see what others think. In the meantime, I tried inserting a linkifier that recognize the full "Merge PR #XXX:" pattern.
does it look like it stopped workng for anyone else?
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?
For reference, the pattern is:
Merge PR #(?P<id>[0-9]+):
Last updated: Nov 29 2023 at 21:01 UTC