On Tue, Oct 13, 2020 at 7:07 AM Thomas Passin <tbp100...@gmail.com> wrote:
> Do you mean that every branch that is not devel, and that person A did > not create, should never be pushed to or merged by anyone else besides > person A? > Exactly. A PR is a pull *request*, not a license to make changes willy-nilly. > That's an easy-enough rule to understand. Up til now, I had thought that > if some feature was being worked on, say layout code, that everyone who > wanted to contribute could work on it. > 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. 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. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/CAMF8tS2jgOt2U4_q22OKw14w3Xaz%2BsBPrcx8XPj0J-X9TzqPzg%40mail.gmail.com.