I had the same question as Vlad. Do these have to be forward-only merges to not create the "merge commit"? I would assume so if they are still not supporting rebase of pull requests. In which case this becomes quickly useless unless we dont let these sit.
+1 from me either way for ORM. As Brett said it makes the "easy button" something i might possibly maybe use as opposed to something i would never ever use. On Fri, Apr 8, 2016, 12:49 PM Brett Meyer <br...@hibernate.org> wrote: > +1 from me as well. As is, we don’t use the existing merge button, so we > might as well change it to something we*may* use in a handful of > situations. And those situations tend to be squashed anyway... > > > On 04/08/2016 07:46 AM, Davide D'Alto wrote: > > +1 > > > > It seems sensible to me to use it for trivial pull request or where it > makes > > sense to have a single commit. > > > > > > On Fri, Apr 8, 2016 at 12:30 PM, Sanne Grinovero <sa...@hibernate.org> > > wrote: > > > >> Github now offers an option to not create the "merge commit" when you > >> want to merge a PR from the web ui. > >> > >> It comes at a significant cost though: it will merge the PR but squash > >> all commits in one. > >> > >> While initially thinking that doesn't help us at all, at second > >> thought: we really want any non-trivial code change to be checked out > >> locally, run the testsuite, and only then push. > >> > >> But let's say there's a trivial PR fixing some typos in documentation! > >> You look at it, looks good and then you really just want to say "go > >> ahead" and get back to more important matters. Besides, we have > >> Jenkins carefully testing these too and it will grey out the button if > >> the build fails, so there's some kind of last defence in case you > >> didn't notice that the "docs typo" PR actually sneaks in some real > >> problem. > >> > >> So I'd say we could enable this option with the "squashing" ? > >> > >> We would still refrain from using the green button for most patches, > >> but it could save some "boring process" minutes for those simpler > >> patches. > >> > >> I've enabled this option for Hibernate Search. We can seek team > >> consensus before actually using it (you're not supposed to use the > >> "green button" at all currently), I might at least have it default to > >> the less annoying option: if you do use it by mistake, it will squash > >> it all. > >> > >> The open question remains if we're ok to use it regularly for trivial > >> PRs, and if you want this switched on all Hibernate repositories. > >> > >> Thanks, > >> Sanne > >> _______________________________________________ > >> 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 > > _______________________________________________ > 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