Hi all, I've just used a push --force on master of Hibernate Search, hopefully no damage as I undid a commit of just 15 minutes.
Sorry for any trouble, teaching merge procedures ;) _______________________________________________ hibernate-dev mailing list hibernate-dev@lists.jboss.org https://lists.jboss.org/mailman/listinfo/hibernate-dev
