OpenJDK said in discussion that they are migrating to GitHub but will try to make their process platform agnostic and not be too attached to GitHub.