RFR: Improve the Download message in PR description

Fri Mar 12 15:09:50 UTC 2021

On Fri, 12 Mar 2021 15:02:04 GMT, Magnus Ihse Bursie <ihse at openjdk.org> wrote:

> Both @simonis and I have struggled of finding the proper way to update a checked-out PR. Let's update the help text with Volker's findings of the best way to do this!

You mean when you are updating your local copy of someone else's pull request? Because otherwise you just pull from your personal fork, right?

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

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