Developer access

[Michael Käppler]

Hi all,
I'd like to request 'Developer' rights for Gitlab to be able to push
branches and merge
MRs on my own.
Does anybody have objections to this?

Michael