Protect Eclipse Platform and related (JDT, Equinox) branches
Summary
As far as we can tell the master and release branches are not protected from direct pushes as they were when using gerrit.
Please protect branches master and R*maintenance to "Require a pull request before merging"
Steps to reproduce
With origin being git@github.com:eclipse-platform/eclipse.platform.resources.git
git push origin master
What is the current bug behavior?
The push is allowed.
What is the expected correct behavior?
GitHub should error to require a Pull Request first.