You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
- `&& github.event.pull_request.number` was added in #363 to prevent
attempts to comment on a non-PR.
- However, it failed to take account of when the pull request came from
elsewhere (e.g. in the case of an issue comment).
- It was anyway unnecessary because the external comment action handles
all cases correctly, including when there is no PR to comment upon.
0 commit comments