Zulip Chat Archive
Stream: triage
Topic: Topic names
Damiano Testa (May 13 2024 at 15:00):
The bot uses !4#xxxx that is so mathport-like. Should the !4 be removed?
Ruben Van de Velde (May 13 2024 at 15:32):
I guess it can, but that also would split all the existing threads
Damiano Testa (May 13 2024 at 15:34):
That's true: probably not worth it then! :smile:
Unless it could do so for the new reminders.
Yaël Dillies (May 13 2024 at 16:57):
Ruben Van de Velde said:
I guess it can, but that also would split all the existing threads
Honestly I can't see this being an issue
Ruben Van de Velde (May 13 2024 at 17:08):
A minor downside to a minor improvement
Yaël Dillies (May 13 2024 at 17:10):
A minor downside to an everlasting improvement :wink:
Last updated: May 02 2025 at 03:31 UTC