Re: [hibernate-dev] @hibernate_dev setup and pushing GitHub commit messages