Just wondering - did you consider tagging and then using a specific commit id for the release ?
So you wouldn't need to worry about this, you personally pick the commit and don't care for subsequent commits. Cheers, Sanne On 4 April 2012 18:13, Steve Ebersole <st...@hibernate.org> wrote: > Done. You can push again. Thanks > > On Wed 04 Apr 2012 11:17:57 AM CDT, Steve Ebersole wrote: >> I am starting the release process for ORM 4.1.2. Please do not push >> changes to master for the time being. Thanks. >> > > -- > st...@hibernate.org > http://hibernate.org > _______________________________________________ > 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
