Discussion: what to do about notification for user who reported but his issue got merged #275

Open

Open

Discussion: what to do about notification for user who reported but his issue got merged#275

When a reporter's pin got merged, the pin will be closed, but he will not get any notification.

to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Assignees

No one assigned

Labels

No labels

No labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests