+1 for protecting master from direct pushes, IMHO build verification should be mandatory
Jonah Graham <[email protected]> schrieb am Fr., 25. März 2022, 11:48: > > > On Fri., Mar. 25, 2022, 05:32 Mickael Istria, <[email protected]> wrote: > >> >> >> On Fri, Mar 25, 2022 at 9:46 AM <[email protected]> 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 > [email protected] > To unsubscribe from this list, visit > https://www.eclipse.org/mailman/listinfo/platform-dev >
_______________________________________________ platform-dev mailing list [email protected] To unsubscribe from this list, visit https://www.eclipse.org/mailman/listinfo/platform-dev
