In #141 we added a function where GitHub Actions posts an issue summary tagging a user.
There's a bug: the comment posted in the PR thread tags the user who posts the PR, instead of the user who executes the merger / closure. For example, @liaochris merged #141 but @zhizhongpu is tagged in #141 (comment).
Here we fix the bug.
In #141 we added a function where GitHub Actions posts an issue summary tagging a user.
There's a bug: the comment posted in the PR thread tags the user who posts the PR, instead of the user who executes the merger / closure. For example, @liaochris merged #141 but @zhizhongpu is tagged in #141 (comment).
Here we fix the bug.