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/eb00e8b1-650f-426a-8bbb-1b6089b77070o%40googlegroups.com.
