Re: [hibernate-dev] Maintenance on ci.hibernate.org