Re: [Emc-developers] branch protection turned on

[Luca T. <lu...@ai...>]

On September 17, 2026 9:14:42 PM GMT+08:00, andy pugh <bod...@gm...> wrote:
>On Thu, 17 Sept 2026 at 13:44, Luca Toniolo <lu...@ai...> wrote:
>
>> I ask because most of my direct pushes have been minor doc fixes and such, where a PR is mostly clicking through ceremony.
>
>Do you push directly to master? Or via a PR? It's perfectly possible
>to create a PR and then merge it yourself for trivial /
>uncontroversial changes.
>

Pushing directly to master It's not my usual or preferred workflow, but I did do it a couple of times, on locally tested uncontroversial changes I didn't want to wait the CI for. PR and self merge works well for me, I don't really have a dog in this fight... But I keep track of the commits, I think (but might be wrong) every active dev other than Bertho has pushed to master on a few occasions, Chris being the most frequent one, so we should wait for his take...