[hibernate-dev] Doing some maintenance on ci.hibernate.org
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.
Thanks,
Sanne