> Make sure Github knows about your address. Go to > https://github.com/settings/emails and add `<your OpenJDK > id>@openjdk.org` as a mail address. I had that for a while already. Now it could even be verified... �� Thanks Christoph