<div dir="ltr"><div>Hey Markus,</div><div>hey René,</div><div><br></div><div>dune-common is indeed a bit more equal as it allows "No One" to push to releases/* branches, whereas the other Core modules allow maintainers to do so.</div><div>I personally think this is an oversight and we could change it to Maintainers only.</div><div><br></div><div>Best,</div><div>Dominic<br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Mon, Jul 12, 2021 at 10:24 AM René Heß <<a href="mailto:rene.hk-edv@gmx.de" target="_blank">rene.hk-edv@gmx.de</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">Hi Markus,<br>
<br>
looking at the protected branches in<br>
<br>
<a href="https://gitlab.dune-project.org/core/dune-common/-/settings/repository" rel="noreferrer" target="_blank">https://gitlab.dune-project.org/core/dune-common/-/settings/repository</a><br>
<br>
releases/* is indeed protected and no one is allowed to push them. You<br>
are owner in dune-common so you already have the highest access role so<br>
you could change that.<br>
<br>
The alternative would be creating a new branch and merging it into the<br>
releases/2.8 branch.<br>
<br>
I did not change anything as it seems to be intentional and I'm not in a<br>
position to change the behaviour (in the sense of 'I should not', as a<br>
gitlab admin I could of course). Just pointing out the current state :).<br>
<br>
<br>
Thanks for working on the release,<br>
best regards,<br>
René<br>
<br>
<br>
<br>
<br>
<br>
Markus Blatt <<a href="mailto:markus@dr-blatt.de" target="_blank">markus@dr-blatt.de</a>> writes:<br>
<br>
> Hi,<br>
><br>
> can somebody please give me push rights to releases/2.8 in dune-common? Without that it is rather<br>
> cumbersome to do a release. Maybe I am in the wrong group?<br>
><br>
> Markus<br>
><br>
> _______________________________________________<br>
> Dune-devel mailing list<br>
> <a href="mailto:Dune-devel@lists.dune-project.org" target="_blank">Dune-devel@lists.dune-project.org</a><br>
> <a href="https://lists.dune-project.org/mailman/listinfo/dune-devel" rel="noreferrer" target="_blank">https://lists.dune-project.org/mailman/listinfo/dune-devel</a><br>
_______________________________________________<br>
Dune-devel mailing list<br>
<a href="mailto:Dune-devel@lists.dune-project.org" target="_blank">Dune-devel@lists.dune-project.org</a><br>
<a href="https://lists.dune-project.org/mailman/listinfo/dune-devel" rel="noreferrer" target="_blank">https://lists.dune-project.org/mailman/listinfo/dune-devel</a></blockquote></div>