[Dune-devel] Write access for Elias Pipping

[Dominic Kempf]

Hey Elias, hey Christoph,

to clarify the commit rights thing a bit:
Pushing to the protected branches (master + releases) requires GitLab
"master" status, which is currently given to all Dune core developers.
The "developer" status in GitLab is given to everybody who shows interest
in contributing actively to Dune.
It allows you to push to branches of the core repositories, open merge
requests etc.
Elias is *not* the first one to be given this status, there are about 10
such people.

Drawing this line between the master and the developer status seemed like
the natural way of doing it when configuring Gitlab.
If you do not like this policy, feel free to open discussion here.

Dominic


On Thu, Jan 7, 2016 at 1:09 PM, Elias Pipping <elias.pipping at fu-berlin.de>
wrote:

>
> > On 07 Jan 2016, at 12:11, Christoph Grüninger <
> christoph.grueninger at iws.uni-stuttgart.de> wrote:
> >
> > Hi Elias,
> > you have been promoted to GitLab developer. Welcome!
> >
> > But you cannot push to the master branch. There are voices to limit this
> > for non-core developers or even developers anyway. You are just the
> > first to be limited in this way.
> >
> > Bye
> > Christoph
>
> Hi Christoph,
>
> thank you, that’s great. I do feel welcome!
>
>
> Elias
>
>
>
>
>
> _______________________________________________
> Dune-devel mailing list
> Dune-devel at dune-project.org
> http://lists.dune-project.org/mailman/listinfo/dune-devel
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.dune-project.org/pipermail/dune-devel/attachments/20160107/d03cd002/attachment.htm>