+1

On Fri, 25 Mar 2022 at 11:50, Lars Vogel <[email protected]> wrote:

> +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
>
_______________________________________________
platform-dev mailing list
[email protected]
To unsubscribe from this list, visit 
https://www.eclipse.org/mailman/listinfo/platform-dev

Reply via email to