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 <steve(a)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.
>
--
steve(a)hibernate.org
http://hibernate.org
_______________________________________________
hibernate-dev mailing list
hibernate-dev(a)lists.jboss.org
https://lists.jboss.org/mailman/listinfo/hibernate-dev