yade-dev team mailing list archive

[Klaus Thoeni <klaus.thoeni@xxxxxxxxx>]

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.chareyre@xxxxxxxxxxxxxxx> 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 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 two aspects:
> 1- do we "push" or do we "request-merge"?
> 2- who is allowed to accept the merge requests?
>
> I don't see a real need to use direct push (point 1), one exception is
> when fixing simple bugs maybe.
> What you say is more  (I guess) that some devs need enough rights to
> accept their own MR (point 2). Right?
>
> Bruno
>
>
>
>
>