Developers can push to protected branch
Created by: Ajeey
Found this issue where in, I have a protected master branch. And there is one user with the role developer and the developer can push commits to protected master branch.
This contradicts the explanation given here - https://gitlab.com/gitlab-org/gitlab-ce/blob/master/doc/permissions/permissions.md