Hi all, github had some problems last night / this morning with their storage service.
Problem should have been solved by now, but social media highlithed some reports of people having some of the most recent commits; in some cases pull requests. Nothing to panic about as git is well distributed and we all have replicas :) So let's take advante of its design and perform a consensus check: could you all please make sure that what you've recently pushed is still there? I don't expect we'll find any discrepancies, but if you do please report them here. Thanks, Sanne _______________________________________________ hibernate-dev mailing list hibernate-dev@lists.jboss.org https://lists.jboss.org/mailman/listinfo/hibernate-dev
