Skip to content

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.

Relevant logs and/or screenshots