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

[sage-devel] Automatic beta release

2024-08-30 Thread Kwankyu Lee
Hi, It is painful to wait for the next beta, especially when PRs fixing ci are in queue. It would be nice if a beta release is made automatically every week. Since a github workflow may run like a cronjob, this seems doable. Let's call it "beta (release) manager". Some ideas for the beta mana