On September 17, 2026 9:14:42 PM GMT+08:00, andy pugh <[email protected]>
wrote:
>On Thu, 17 Sept 2026 at 13:44, Luca Toniolo <[email protected]> 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...
_______________________________________________
Emc-developers mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/emc-developers
