Zulip Chat Archive

Stream: general

Topic: Emoji reactions


Damiano Testa (Apr 14 2025 at 18:10):

Kyle Miller said:

(Damiano Testa Could the pr/issue emoji bot also add emojis to the first message in a topic whose name contains a pr/issue number?)

This just got merged: if everything goes as planned, the emoji reactions associated to the PR status stay as they were, except that the first message in each thread in #**PR reviews> that mentions the PR number behaves as though it contained the PR number.

Damiano Testa (Apr 14 2025 at 18:11):

Thus, while I would still encourage everyone to provide an explicit link to the PR in each #**PR reviews> thread, the first message should receive emoji updates regardless of whether it contains the PR number in its text.

Damiano Testa (Apr 14 2025 at 18:11):

As with all new automation, please let me know if you notice regressions or non-progressions! :smile:


Last updated: May 02 2025 at 03:31 UTC