Merged
allow PR comment from non-PR events using `comment-on-pr-number`#803RobbieMcKinstry merged 4 commits intopulumi:masterfrom bennettp123:fix/comment-on-pr-number-ignored-unless-event-type-is-pullrequest
RobbieMcKinstry merged 4 commits intopulumi:masterfrom bennettp123:fix/comment-on-pr-number-ignored-unless-event-type-is-pullrequest
allow PR comment from non-PR events using comment-on-pr-number#803
Merged
RobbieMcKinstry merged 4 commits intopulumi:masterfrom bennettp123:fix/comment-on-pr-number-ignored-unless-event-type-is-pullrequestJan 23, 2023
+65-10
Commits cannot be loaded
The page is unavailable due to a system error.
Try reloading the page, or if the problem persists, contact support.