[Rev 03] RFR: Add checkout instructions to PR body

[Erik Helin]

On Tue, 18 Feb 2020 10:44:01 GMT, Jorn Vernee <jvernee at openjdk.org> wrote:

>> 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:
>>> ```bash
>>> $ 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
> 
> The pull request has been updated with 1 additional commit.

Looks good!

-------------

Marked as reviewed by ehelin (Reviewer).

PR: https://git.openjdk.java.net/skara/pull/434