On Tue, Oct 13, 2020 at 9:45 AM Thomas Passin <[email protected]> wrote:
> > On Tuesday, October 13, 2020 at 9:50:10 AM UTC-4, Edward K. Ream wrote: >> >> I'm no expert on git workflow, but I don't see how PR's can possibly be a >> substitute for cooperation based on close communication. >> > > I wouldn't disagree, but I've seen on some other projects that a PR > sometimes generates a long and careful discussion of the issue and > proposed change. > And that's good, naturally. I'm sorry now that I didn't start a discussion thread about these things > before I did the VR3 merge. > Live and learn. It should no longer be possible to have you merge your branch into mine without my say so. The recent situation was a bit unusual, since we were both trying to change our branches simultaneously. If a similar situation happens in future we will both be a bit more careful. 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/CAMF8tS38SMayGmb4fXhx1PjELo91mo%3DYdDNsTEdSNeJeHo_prg%40mail.gmail.com.
