move developers without push access to contributors
move developers without push access to contributors

as they shouldn't be bothered regarding releases, etc.

LearnLib/learnlib,LearnLib/learnlib,LearnLib/learnlib