<div dir="ltr"><div><div><div><div><div><div>Hey Elias, hey Christoph,<br><br></div>to clarify the commit rights thing a bit:<br></div>Pushing to the protected branches (master + releases) requires GitLab "master" status, which is currently given to all Dune core developers.<br></div>The "developer" status in GitLab is given to everybody who shows interest in contributing actively to Dune.<br></div>It allows you to push to branches of the core repositories, open merge requests etc.<br></div>Elias is *not* the first one to be given this status, there are about 10 such people.<br><br>Drawing this line between the master and the developer status seemed like the natural way of doing it when configuring Gitlab.<br></div><div>If you do not like this policy, feel free to open discussion here.<br><br></div><div>Dominic<br></div><div><br></div></div><div class="gmail_extra"><br><div class="gmail_quote">On Thu, Jan 7, 2016 at 1:09 PM, Elias Pipping <span dir="ltr"><<a href="mailto:elias.pipping@fu-berlin.de" target="_blank">elias.pipping@fu-berlin.de</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class=""><br>
> On 07 Jan 2016, at 12:11, Christoph Grüninger <<a href="mailto:christoph.grueninger@iws.uni-stuttgart.de">christoph.grueninger@iws.uni-stuttgart.de</a>> wrote:<br>
><br>
> Hi Elias,<br>
> you have been promoted to GitLab developer. Welcome!<br>
><br>
> But you cannot push to the master branch. There are voices to limit this<br>
> for non-core developers or even developers anyway. You are just the<br>
> first to be limited in this way.<br>
><br>
> Bye<br>
> Christoph<br>
<br>
</span>Hi Christoph,<br>
<br>
thank you, that’s great. I do feel welcome!<br>
<br>
<br>
Elias<br>
<br>
<br>
<br>
<br>
<br>
_______________________________________________<br>
Dune-devel mailing list<br>
<a href="mailto:Dune-devel@dune-project.org">Dune-devel@dune-project.org</a><br>
<a href="http://lists.dune-project.org/mailman/listinfo/dune-devel" rel="noreferrer" target="_blank">http://lists.dune-project.org/mailman/listinfo/dune-devel</a><br>
</blockquote></div><br></div>