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 _______________________________________________ hibernate-dev mailing list hibernate-dev@lists.jboss.org https://lists.jboss.org/mailman/listinfo/hibernate-dev
