Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fix follow-up action when a PR is closed (#847)
### Summary When a submission PR is closed, an action posts a comment with information for new ecosystem members. For example, #823 (comment). The problem is that this comment is posted even when the PR is closed but wasn't merged. This PR fixes the workflow to only trigger when the PR is merged.
- Loading branch information