I liked the feature where hovering over a link to a Coq PR would display a popup with the title and description of that PR. Can we get that feature back on Zulip?
The notifications are more readable on gitter. The most noticeable difference is that they're far less verbose as they only say "User did Event on #XXXX" where zulip posts the entire message. Can we cnahge that?
It's a plugin, and it is probably open source, so one could try to improve it. @Cyril Cohen might know more.
Last updated: Dec 01 2023 at 07:01 UTC