Emoji reactions

Stream: general

[Damiano Testa]

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]

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]

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