Hi, I have seen healthy discussion of features and commits in the Fossil Forum[1], without PR mechanism. I have seen a lot of discussion about features here with the engineering notebooks withtout PR. Again not a prerequisite. But whatever works best for the community should be adopted.
[1] https://fossil-scm.org/forum/forummain Tools inform thinking and viceversa. Git/GitHub and kind of formatting processes to the image of the Linux Kernel development. I think that is important, particularly in early moments before a decision, to be aware of the parallel paths to follow. I like the way Leo followed and shown me a less traversed path, opening the world of outlining to me. But of course this doesn't mean that Leo needs to follow the uncommon path everywhere. Having a latent community repertoire of solutions is worthy, even to be used in other projects. Cheers, Offray On 22/08/20 9:46 a. m., Edward K. Ream wrote: > > > On Fri, Aug 21, 2020 at 9:36 PM Thomas Passin <tbp100...@gmail.com > <mailto:tbp100...@gmail.com>> wrote: > > I'm not crazy about bureaucracy, but I have noticed that the PR > can lead to a lot of good discussion, and what gets added in the > end may not be exactly what was in the PR at the start. > > > Imo, "bureaucracy" is a misleading word. True, PR's require more work. > The question is, when is the work justified? > > As you say, PR's provide a platform for discussion and review. They > are typically a permanent record of particular code changes. As we > consider Leo without me, I think PR's will help democratize changes. > Looking back, a PR for the fast read code that I "borrowed" from > Vitalije might have avoided some hard feelings. > > 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 leo-editor+unsubscr...@googlegroups.com > <mailto:leo-editor+unsubscr...@googlegroups.com>. > To view this discussion on the web visit > https://groups.google.com/d/msgid/leo-editor/CAMF8tS34ub-7WtBQHjgj2a4%2BMD4Zae9EhJxdEjUDWi9NXhjviw%40mail.gmail.com > <https://groups.google.com/d/msgid/leo-editor/CAMF8tS34ub-7WtBQHjgj2a4%2BMD4Zae9EhJxdEjUDWi9NXhjviw%40mail.gmail.com?utm_medium=email&utm_source=footer>. -- 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 leo-editor+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/3fbbb0f2-9d21-3c7a-da45-dd25c83cfa35%40riseup.net.
