On Fri., Mar. 25, 2022, 05:32 Mickael Istria, <mist...@redhat.com> wrote:
> > > On Fri, Mar 25, 2022 at 9:46 AM <jkubitz-ecli...@gmx.de> wrote: > >> Well, if direct pushing to the repository is disallowed it should be >> disabled. I accidently made my first error with not creating a PR. And got >> nor error message. Highly confusing. >> > > Committers still and forever will have direct access to the Git repo. > Having push capabilities to project repo is the very essence of being a > committer over being a contributor. > *Direct* push to branch is not a committer privilege, but a project choice. Protecting branches, even from committers, is a good idea. Many Gerrit projects disabled direct push (ie you had to create a gerrit review first). Github branches can (and I strongly recommend should) be protected to, at least to require a PR first. I assume these repos have force push disabled too ad I believe webmaster does that by default, but if not that should be enabled too. Jonah > >> >>
_______________________________________________ platform-dev mailing list platform-dev@eclipse.org To unsubscribe from this list, visit https://www.eclipse.org/mailman/listinfo/platform-dev
