[Dune-devel] gitlab member lists

[Christoph Grüninger]

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

-- 
Mit Kurzschlafwettkampfbestzeit
[Tua von Die Orsons - Sowas von egal]