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

13: Add link to PR in emails to mailing list #22

Closed
wants to merge 1 commit into from

Conversation

@rwestberg
Copy link
Member

rwestberg commented Jul 2, 2019

Hi all,

Please review the following change that adds a note to composed emails with a link to the originating pull request.

Best regards,
Robin

Progress

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

Approvers

  • Erik Helin (ehelin - Reviewer)
@openjdk openjdk bot added the bots label Jul 2, 2019
@bridgekeeper
Copy link

bridgekeeper bot commented Jul 2, 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).

@openjdk openjdk bot added the rfr label Jul 2, 2019
@mlbridge
Copy link

mlbridge bot commented Jul 2, 2019

Webrevs

@edvbld
edvbld approved these changes Jul 2, 2019
Copy link
Member

edvbld left a comment

I might have preferred using footnotes (e.g. [0]), but lets start out with this and see how it works.

@openjdk openjdk bot removed the rfr label Jul 2, 2019
@openjdk
Copy link

openjdk bot commented Jul 2, 2019

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

13: Add link to PR in emails to mailing list

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 Jul 2, 2019
@rwestberg
Copy link
Member Author

rwestberg commented Jul 2, 2019

/integrate

@openjdk openjdk bot closed this Jul 2, 2019
@openjdk
Copy link

openjdk bot commented Jul 2, 2019

@rwestberg Pushed as commit 61fc564.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Linked issues

Successfully merging this pull request may close these issues.

None yet

2 participants
You can’t perform that action at this time.