Re: [Yade-dev] Migrating to GitLab

2018-12-11 Thread Klaus Thoeni
Hi Bruno, yes, that's right. Dev's should have the rights to do that. K On Wed, Dec 12, 2018 at 2:00 AM Bruno Chareyre < bruno.chare...@3sr-grenoble.fr> wrote: > > > On 12/5/18 7:21 AM, Klaus Thoeni wrote: > > I terms of branching, I think this should be kept flexible. I think > > branches

Re: [Yade-dev] Migrating to GitLab

2018-12-11 Thread Anton Gladky
Hello, I would vote for the option with merge requests. Yade has enough core developers to review, comment and accept those requests. And it is not a problem if the MR will take 2-3 days for the review process. In this case one can see in the GitLab-pipeline, whether the code compiles, tests

Re: [Yade-dev] Migrating to GitLab

2018-12-11 Thread Bruno Chareyre
On 12/5/18 7:21 AM, Klaus Thoeni wrote: I terms of branching, I think this should be kept flexible. I think branches make sense if you work on major changes. However, I still think main devs should be able to push directly to the trunk, obviously with care ;-) I think we need to distinguish