Updating https://github.com/openjdk/jdk tomorrow, recreate ev. forks and local repositories

[Erik Helin]

We have now updated the repository at https://github.com/openjdk/jdk. Those of you that have personal forks and/or local clones are now recommended to recreate them.

Thanks,
Erik & Robin

> On 2 Apr 2019, at 11:18, Erik Helin <erik.helin at oracle.com> wrote:
> 
> Hi all,
> 
> we will upload a new version of the mirror at https://github.com/openjdk/jdk tomorrow. We have fixed a few bugs in the converter and in the live mirroring which causes a few early commits to change hashes, which of course in turn changes the hashes of all dependant commits. If you have any forks of openjdk/jdk on your personal GitHub account, then you probably want to recreate them. Furthermore if you have any local clones, you will probably want to save your work as plain old patch files, re-clone a new local repository and then apply your patches.
> 
> We are sorry for any inconvenience this might cause, we hope updates like these will be very rare.
> 
> Thanks,
> Erik & Robin
> 
> PS. Once the repository is updated the live mirroring will resume as usual