jdk/jdk repository transitions to Git, GitHub & Skara: Sept. 5 Posted on August 12, 2020 More at https://mail.openjdk.java.net/pipermail/jdk-dev/2020-August/004588.html