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

[Gunnar Morling]

Hi,

Not sure whether that's a new behaviour, but it's super annoying that
the pull request builder automatically closes pull requests if there
is a build failure. Can we change this so the PR stays open, please?

The current behaviour is highly frustrating, you need to re-open the
PR again after fixes, and in the worst case a PR falls through the
cracks because it's moved out to the "Closed" tab right away. It's
especially bad for contributor PRs where the failure is caused by
ourselves, e.g. build environment issues.

Thanks,

--Gunnar