Discussion: what to do about notification for user who reported but his issue got merged #275
Description
When a reporter's pin got merged, the pin will be closed, but he will not get any notification.
{{ message }}
When a reporter's pin got merged, the pin will be closed, but he will not get any notification.