That's strange. As far as I know we actually cannot delete from there. At least I was not allowed to delete from orm/5.1 yesterday when I was doing work.
As for restoring, I do not know if backups are kept. We could open a ticket and see. If not, do y'all build docs into the release bundles? That could be an option On Fri, Feb 12, 2016 at 10:31 AM Emmanuel Bernard <emman...@hibernate.org> wrote: > Apparently http://docs.jboss.org/hibernate/validator is gone from the > documentation server. Anyone has an idea of how that could have > happened? > How to fix it would be very useful too, I'm not sure we have a full > backup of all the documentation since the history of time. > > Emmanuel > _______________________________________________ > hibernate-dev mailing list > hibernate-dev@lists.jboss.org > https://lists.jboss.org/mailman/listinfo/hibernate-dev > _______________________________________________ hibernate-dev mailing list hibernate-dev@lists.jboss.org https://lists.jboss.org/mailman/listinfo/hibernate-dev