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? 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.
On Tuesday, October 13, 2020 at 5:42:53 AM UTC-4, Edward K. Ream wrote: > > I have just added a new protection rule that applies to *all* branches. > This rule specifies the PR's are always required. However, authors may > still push to their own branches, as I have just verified. > > Info item #1058 <https://github.com/leo-editor/leo-editor/issues/1058> > discusses how to create and use branches. The most important point: > > * Everything new comes from devel and goes to devel.* > > The recent chaos arose from two separate serious mistakes: > > - A merge was made into a branch that the merging author did not own. This > should no longer be possible. > > - The merged branch was *not* based on devel. Basing branches on devel > should make it possible to handle separate branches as independently as > possible. > > *Summary* > > We can all learn from these mistakes: > > - After it was too late I realized that I could undo the offending PR. > There was an undo button that I had never noticed before. > > - Requiring PR's for all branches should prevent unwanted interference in > other people's code. > > 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/ec18f7b2-f247-47e2-abee-f45adad2c809o%40googlegroups.com.
