I noticed that my last commit used the address jgneff at openjdk.org instead of the address I normally use to create and sign commits. GitHub didn't recognize the commit as mine until I added the address to my account. Do the openjdk.org addresses receive e-mail? If not, do we just leave the address unverified in our GitHub accounts? Thanks, John