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.
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.
hibernate-dev mailing list