-
-
Notifications
You must be signed in to change notification settings - Fork 87
Closed
Labels
area: toolingManaging the repository's maintenanceManaging the repository's maintenancestatus: accepting prsPlease, send a pull request to resolve this!Please, send a pull request to resolve this!
Description
Bug Report Checklist
- I have tried restarting my IDE and the issue persists.
- I have pulled the latest
mainbranch of the repository. - I have searched for related issues and found none that matched my issue.
Overview
Following up on @DerTimonius's #989 (comment): we merged the PR with the if:
| - if: ${{ github.event.issue || github.event.pull_request }} |
...but I'm not sure that it's necessary. Are there events from GitHub's on.(issue|issue_comment|pull_request) that don't have github.event.issue || github.event.pull_request?
Additional Info
This feels like something someone could probably answer by looking at the docs and/or experimenting in a temporary repository. But I haven't had the time to try. 😄
Marking as status: accepting prs in case the answer is that the if is unnecessary. But if it is necessary, the right solution would be to close and wontfix this issue.
cc @kendallgassner as fyi / for visibility if you're curious
Metadata
Metadata
Assignees
Labels
area: toolingManaging the repository's maintenanceManaging the repository's maintenancestatus: accepting prsPlease, send a pull request to resolve this!Please, send a pull request to resolve this!