Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

allow PR comment from non-PR events using comment-on-pr-number #803

Conversation

bennettp123
Copy link
Contributor

@bennettp123 bennettp123 commented Dec 20, 2022

Allow comment-on-pr-number to be used to comment on a PR, even when not called from a pull_request event.

Fixes #802

@RobbieMcKinstry RobbieMcKinstry self-requested a review December 21, 2022 00:14
@RobbieMcKinstry
Copy link
Contributor

Hi again @bennettp123! Thanks for opening this PR. Just a friendly reminder, add a line to the CHANGELOG with your PR for this bug fix. 👍🏻 Great catch!

@bennettp123
Copy link
Contributor Author

@bennettp123 bennettp123 marked this pull request as ready for review December 27, 2022 02:37
@bennettp123
Copy link
Contributor Author

Hi @RobbieMcKinstry, I've updated the CHANGELOG, and I've tested it in a personal repo, so I'm happy for it to be merged.

Let me know if there's anything else you need 😄

@bennettp123 bennettp123 force-pushed the fix/comment-on-pr-number-ignored-unless-event-type-is-pullrequest branch from ecb8033 to 84bdc62 Compare January 11, 2023 02:52
@bennettp123 bennettp123 force-pushed the fix/comment-on-pr-number-ignored-unless-event-type-is-pullrequest branch from de28bb1 to 8a752e2 Compare January 23, 2023 13:44
@bennettp123
Copy link
Contributor Author

Looks like some unwanted changes crept in while merging changes from master. I've rebased instead, and fixed up the conflicts manually.

@RobbieMcKinstry
Copy link
Contributor

Hey Bennett, I apologize for the delay in getting this merge. You made my life easy by making your contribution straightforward to review! Thanks very much! ❤️

@RobbieMcKinstry RobbieMcKinstry merged commit 7e4dae8 into pulumi:master Jan 23, 2023
@bennettp123 bennettp123 deleted the fix/comment-on-pr-number-ignored-unless-event-type-is-pullrequest branch January 25, 2023 02:20
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

comment-on-pr-number ignored unless event type is pull_request
2 participants