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. Historically we had our own git server, and those devs that had access pushed their changes directly. Those that did not have access would have to email a patch to a core dev to be reviewed and (maybe) merged, We then moved to GitHub and those same developers retained the ability to push directly. This made things simpler and more transparent for contributors without push access. We haven't previously insisted on PRs, and I quite often push to wlo without a PR. I think it's probably better to go via a PR, mainly for consistency, even if it is self-merged by the developer. -- atp "A motorcycle is a bicycle with a pandemonium attachment and is designed for the especial use of mechanical geniuses, daredevils and lunatics." — George Fitch, Atlanta Constitution Newspaper, 1912 _______________________________________________ Emc-developers mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/emc-developers
