[Dune-devel] gitlab member lists

[Christian Engwer]

I just checked... in many cases it isn't sufficient to be
maintainer. Even then you can not add new developers to the group. So
we really need to have more owners...

Christian

On Sat, Mar 21, 2020 at 02:36:46PM +0100, Christoph Grüninger wrote:
> Hi Andreas,
> the issue you are raising is valid and we already discussed it in
> Heidelberg this year. Rene Hess has Gitlab admin right and can make you
> manager of whatever repository you claim. Please do so and also add more
> people you think they should get such rights.
> 
> Bye
> Christoph