Re: [Jflex-devel] Branch protection

[Gerwin K. <ge...@do...>]

> On 10.11.2017, at 09:09, Gerwin Klein <ge...@do...> wrote:
> 
> 
>> On 10.11.2017, at 00:46, Régis Décamps via Jflex-devel <jfl...@li... <mailto:jfl...@li...>> wrote:
>> 
>> Hello all,
>> 
>> I've accidentially submitted to master a couple of times.
>> 
>> Github has a nice feature to protect branches. How do you feel about protecting master <https://github.com/jflex-de/jflex/settings/branches/master>?
>> 
>> I propose to restrict master to PR only ; and we can even enforce CI status check as well <https://help.github.com/articles/enabling-required-status-checks/>.
> 
> I’d be happy with that. 

Have now tentatively switched it on to see how it goes. If we don’t like it, we can always revert.

Cheers,
Gerwin