[hibernate-dev] Doing some maintenance on ci.hibernate.org

Sanne Grinovero sanne at hibernate.org
Mon Jun 3 07:34:36 EDT 2019

Hey all,

today I'll be restarting the server running ci.hibernate.org, and
installing some updates.

You can login as usual, but it might ask your permission again to
allow github to share your profile with the ci server.

I will need to repeat such operation multiple times this week, please
be patient.


More information about the hibernate-dev mailing list