How do I update my local copy of a pull request?

[Dalibor Topic]

Volker wrote:

> 2. Why do all the instructions mention
> "https://git.openjdk.java.net/jdk" instead of
> "https://github.com/openjdk/jdk/". This always gives me the warning
> "warning: redirecting to https://github.com/openjdk/jdk/". Might this
> also cause other problems?


 From https://openjdk.java.net/jeps/369:

The domain https://git.openjdk.java.net/ redirects to the OpenJDK 
Community's current source-code hosting provider. Source-code URLs 
recorded in JBS issues and mailing-list messages use this domain rather 
than the domain of the current provider.

In order to prevent the Skara tooling from depending upon a particular 
provider's API, support for multiple external providers has been a 
strict requirement from the beginning. All of the tooling is also 
required to work with the open-source GitLab Community Edition (GitLab CE).

cheers,
dalibor topic

-- 
<http://www.oracle.com> Dalibor Topic
Consulting Product Manager
Phone: +494089091214 <tel:+494089091214>, Mobile: +491737185961
<tel:+491737185961>, Video: dalibor.topic at oracle.com
<sip:dalibor.topic at oracle.com>

Oracle Global Services Germany GmbH
Hauptverwaltung: Riesstr. 25, D-80992 München
Registergericht: Amtsgericht München, HRB 246209
Geschäftsführer: Ralf Herrmann