Add checkout instructions to PR body

[JornVernee]

Hi,

I'd like let the pr bot add the fetch comamnd found in the automatic emails to the PR body, so that people using only GitHub can see the instructions as well.

This adds a new "Instructions" section to the body of the PR message:

Instructions

To checkout these changes locally:

$ git fetch https://git.openjdk.java.net/panama-foreign pull/16/head:pull/16
$ git checkout pull/16

Testing:

• Running .\gradlew test

Any other recommendations for testing this?

Thanks,
Jorn

Progress

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

Reviewers

• Erik Helin (ehelin - Reviewer)

[bridgekeeper]

👋 Welcome back jvernee! A progress list of the required criteria for merging this PR into master will be added to the body of your pull request.

[mlbridge]

Webrevs

• 03: Full - Incremental (9fc0eb9)
• 02: Full - Incremental (93d02e6)
• 01: Full - Incremental (0774b38)
• 00: Full (7de15f5)

[edvbld]

Thanks Jorn, good idea 👍 I think we might want to overhaul the design a little bit to accommodate for this new section. I added in some more sections that might appear in a pull request - what do you think about the following?

---

Progress

• Change must not contain extraneous whitespace
• Change must be properly reviewed (1/2)

Issues

• JDK-8712393: Add download instructions to pull request

Contributors

• Robin Westberg (rwestberg)

Reviewers

• Erik Duveblad (ehelin - Reviewer)
• Joe Darcy (darcy - Reviewer) 🔄 Re-review required (review applies to 7de15f5)

Download

$ git fetch https://git.openjdk.java.net/panama-foreign pull/16/head:pull/16
$ git checkout pull/16

[JornVernee]

Hey Erik,

I like the new format that you suggest as well :) I've applied the suggestions.

[edvbld]

Nice work! Just a small nit, you can use a Markdown thematic break instead of using the <hr /> HTML tag directly.

[edvbld]

It seems like the test org.openjdk.skara.bots.pr.ContributorTests > prBodyUpdates is failing on both Linux and Mac. I think you have to change these two lines:

• https://github.com/openjdk/skara/blob/master/bots/pr/src/test/java/org/openjdk/skara/bots/pr/ContributorTests.java#L335
  if (line.equals("## Contributors")) {
• https://github.com/openjdk/skara/blob/master/bots/pr/src/test/java/org/openjdk/skara/bots/pr/ContributorTests.java#L355
  assertNotEquals("## Contributors", line);

[JornVernee]

@edvbld Thanks Erik,

That test is being skipped when running on Windows and I'm seeing a lot of "STANDARD_ERROR"s in the build log for the workflow, so not sure if this was a false negative.

I gave the latest version a run on WSL. There are a lot of failing tests if I do that, unrelated to this PR, but at least the particular test is now passing.

[edvbld]

@JornVernee Yeah, most of the bot tests are disabled on Windows. I would be happy to review patches to get the tests passing on WSL 👍

[edvbld]

Looks good!

[openjdk]

@JornVernee This change now passes all automated pre-integration checks. When the change also fulfills all project specific requirements, type /integrate in a new comment to proceed. After integration, the commit message will be:

Add checkout instructions to PR body

Reviewed-by: ehelin

• If you would like to add a summary, use the /summary command.
• To credit additional contributors, use the /contributor command.
• To add additional solved issues, use the /solves command.

Since the source branch of this PR was last updated there have been 7 commits pushed to the master branch. Since there are no conflicts, your changes will automatically be rebased on top of these commits when integrating. If you prefer to avoid automatic rebasing, please merge master into your branch, and then specify the current head hash when integrating, like this: /integrate 01d1519b88623625b28a65a967464e09b6fd46ae.

➡️ To integrate this PR with the above commit message, type /integrate in a new comment.

[JornVernee]

/integrate

[openjdk]

@JornVernee The following commits have been pushed to master since your change was applied:

• 01d1519: git-pr: recognize more forms on integration comments
• b277057: git-pr: support atomic integrations
• 16182f5: Use seeded materialization for notifier, fix potential race condition
• d5b6d4c: git-webrev: create links for bug ids in commit messages
• 64bc771: 275: PR bot should allows merge-style PRs with only branch names
• e4b8ae3: 280: Notifier should support repo/branch prefixes
• 38bc15e: git-webrev: show commit messages

Your commit was automatically rebased without conflicts.

Pushed as commit 84a1235.

[mlbridge]

Mailing list message from Jorn Vernee on skara-dev:

Changeset: 84a1235
Author: Jorn Vernee <jvernee at openjdk.org>
Date: 2020-02-18 12:20:25 +0000
URL: https://git.openjdk.java.net/skara/commit/84a1235c

Add checkout instructions to PR body

Reviewed-by: ehelin

! bots/pr/src/main/java/org/openjdk/skara/bots/pr/CheckRun.java
! bots/pr/src/test/java/org/openjdk/skara/bots/pr/ContributorTests.java