On Saturday, August 31, 2024 at 9:58:01 PM UTC+9 Michael Orlitzky wrote:
Why not do what everyone else does, and let developers merge PRs into the "develop" branch when they're approved? Waiting only causes merge conflicts. As a middle gound, we may let the beta manager bot collect (merge to beta_branch) positively reviewed PRs during the week. We may call the special branch betabot instead of beta_branch in this csae. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/836e6be8-e7f9-4183-a60c-bc073278e365n%40googlegroups.com.
