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

Update notifier PR matching pattern #145

Closed
wants to merge 2 commits into from

Conversation

rwestberg
Copy link
Member

@rwestberg rwestberg commented Sep 19, 2019

Hi all,

Please review this small fix that ensures that the notifier finds RFR mails with the updated format.

Best regards,
Robin

Progress

  • Change must not contain extraneous whitespace
  • Change must be properly reviewed

Approvers

  • Erik Helin (ehelin - Reviewer)

@bridgekeeper
Copy link

bridgekeeper bot commented Sep 19, 2019

👋 Welcome back rwestberg! A progress list of the required criteria for merging this PR into master will be added to the body of your pull request (refresh this page to view it).

@mlbridge
Copy link

mlbridge bot commented Sep 19, 2019

Webrevs

edvbld
edvbld approved these changes Sep 19, 2019
Copy link
Member

@edvbld edvbld left a comment

Looks good, thanks!

@openjdk openjdk bot removed the rfr label Sep 19, 2019
@openjdk
Copy link

openjdk bot commented Sep 19, 2019

@rwestberg This change can now be integrated. The commit message will be:

Update notifier PR matching pattern

Reviewed-by: ehelin
  • If you would like to add a summary, use the /summary command.
  • To list additional contributors, use the /contributor command.
  • To integrate this PR with the above commit message, type /integrate in a new comment.

@openjdk openjdk bot added the ready label Sep 19, 2019
@rwestberg
Copy link
Member Author

rwestberg commented Sep 19, 2019

/integrate

@openjdk openjdk bot closed this Sep 19, 2019
@openjdk openjdk bot added the integrated label Sep 19, 2019
@openjdk
Copy link

openjdk bot commented Sep 19, 2019

@rwestberg Pushed as commit 8fad696.

@openjdk openjdk bot removed the ready label Sep 19, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
2 participants