On Fri, 2024-08-30 at 20:26 -0700, Kwankyu Lee wrote: > > What do you think?
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. The release manager could still cherry-pick commits for betas, release candidates, and actual releases. But having a release process for the git repo is a quirk of an old development model that doesn't make sense any more. -- 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/abd309596f3f26db6752dc239fe73832a8f3d102.camel%40orlitzky.com.
