Skip to content

BugFix: automated issue summary posting tagging the wrong user #146

@zhizhongpu

Description

@zhizhongpu

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.

Metadata

Metadata

Assignees

Labels

No labels
No labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions