I'd go for that. PRs, I have noticed on other projects, can support a good discussion before the thing is finalized.
On Monday, August 17, 2020 at 12:28:58 PM UTC-4, Edward K. Ream wrote: > > The days of cowboy commits are coming to an end. > > In future, I plan to create a PR for all my work. A PR is a good record of > what has been done, and it should help prevent unwanted merge conflicts. > > I think separate PR's for all work makes sense for all of Leo's devs. What > do you think? > > Edward > -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/c93e929d-e5d3-46ac-b8df-3fd5d247d2bao%40googlegroups.com.
