Skip to content

Conversation

@toffentoffen
Copy link
Contributor

Fixes #25
Have different messages for when a closed pr is merged or not.

@toffentoffen toffentoffen changed the title Closed pr message not merged Have different message when a closed PR is merged or not Sep 30, 2020
Copy link
Contributor

@miguelbemartin miguelbemartin left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Nice one, Marc. It looks good overall, just a small missing piece of code.

@miguelbemartin
Copy link
Contributor

Nice one, Marc 👍

@miguelbemartin miguelbemartin merged commit 8269902 into master Oct 1, 2020
@miguelbemartin miguelbemartin deleted the closed_pr_message_not_merged branch October 1, 2020 16:30
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.

Messages does not distinguish if a closed PR was merged or not.

3 participants