All developers can push to protected master branch by default
When someone is added with access level Developer to a project with a protected branch push is allowed.
Developers can push checkbox twice block pushes.
When a new project is created, the "Protected branches" feature shows that only members with access level Master can push to the master branch. This is shown in the UI. However, when someone is added with access level Developer, it can actually push to the master branch. This shouldn't be possible. And here's when it becomes interesting: when the check box in the screenshot above is clicked twice (first allow developers push, then disallow developers to push), it blocks the push access. Seems like there an incorrect value check (NULL, true, false perhaps?) when someone pushes to the branch.