> But I didn't say it's a big problem. It's unexpected though, and I > think we had agreed that nobody would ever use push --force on the > reference repository, especially not as a standard development > procedure.
No-one should ever make a rule absolute *ever*? See my point? :) We are just minimizing the double PR overhead for this short and well defined period of time. No biggie as we know why and how we break the force rule. Emmanuel _______________________________________________ hibernate-dev mailing list hibernate-dev@lists.jboss.org https://lists.jboss.org/mailman/listinfo/hibernate-dev
