On Thu, Aug 20, 2020 at 5:05 PM Edward K. Ream <[email protected]> wrote:
> This is an experimental restriction. It can easily be removed. > > I think requiring PR's for devel and master makes sense. They alert > everyone of proposed changes before they take effect. The PR's themselves > are a permanent record of changes. > > Let me know if you have any considerations about this new policy. > > I for one like it. I've messed up too much with my own private git, so pull requests to make any mergeable changes sounds quite good. I've been quiet but definitely following progress; at some point I'll start using Leo again, but this whole leointeg thing seems very nice. Mike -- 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/CAN%2B%2B4hF_Sox44-jDKvJGqmiHPkS-ZKLRu33kT--cr9EXN8ej%3DQ%40mail.gmail.com.
