Re: [sage-devel] Automatic beta release

2024-09-01 Thread Kwankyu Lee
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

Re: [sage-devel] Automatic beta release

2024-08-31 Thread Michael Orlitzky
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, relea