Re: [hibernate-dev] Not letting Jenkins auto-close PRs upon build failures