<div dir="ltr">Dear all,<div><br></div><div>We have had the direct push forbidden to master for a bit of time and it proved to be useful.</div><div>It apparently had been disabled and a direct push was made which broke master.</div><div><br></div><div>I believe it's useless to list the advantages of enforcing the use of pull requests, and I would probably fail to be exhaustive.</div><div>But I would like that we take a decision (taken by the dev community) and stick to it.</div><div><br></div><div>I understand it is frustrating, but I currently don't see any valid reasons not to respect this:</div><div>* releases are made from the release branches (so the recent event on master doesn't seem to apply)</div><div>* if we have issues with Windows build, let's investigate if we can have a CI linked to Github for this matter</div><div>* if we think the queue is too long, let's talk about subscribing to a paying account on Travis (I am not trolling)</div><div><br></div><div>What is the path to take a decision on this i.e. enforcing to go through PR on master?</div><div><br></div><div>Cheers,</div><div>Denis</div><div><br></div></div>