Re: [hibernate-dev] GitHub PR management