+1, but I don’t know how ;) > On 05 Jan 2016, at 13:55, Gunnar Morling <gun...@hibernate.org> wrote: > > 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
_______________________________________________ hibernate-dev mailing list hibernate-dev@lists.jboss.org https://lists.jboss.org/mailman/listinfo/hibernate-dev
