[hibernate-dev] starting release

[Sanne Grinovero]

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