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 ;)