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