Live updates option

[tacsipacsi]

It would be great if the interface could automatically load new entries, and maybe even show a desktop notification when there’s anything new. Since it’s based on IRC, one could just listen on IRC, but

• (according to the description) this tool works from multiple IRC channels, all of which one should keep open,
• it filters messages, so directly using IRC would mean a larger amount of messages, which are probably not useful for someone who wants to use this tool,
• everyone has a browser, but not everyone/every device has an IRC client.

The best would be using push messages (e.g. using WebSocket), but that’s probably impossible using PHP, so polling is also okay as a second best option.

To summarize,
GIVEN the user being on the top of a channel (https://sal.toolforge.org/, https://sal.toolforge.org/releng etc.), without any filtering or offset, opted into live updates
WHEN a new message is logged on server-side
THEN the new message should appear on client-side within a reasonable time (e.g. 10 seconds).