On Mon, Feb 26, 2024 at 11:36 AM Kwankyu Lee <ekwan...@gmail.com> wrote:
> On Monday, February 26, 2024 at 6:49:35 PM UTC+9 Dima Pasechnik wrote: > > >usage 3: Issues that should be fixed as fast as possible > > > >To me it is rather "issues that should be fixed before the next > >release" (or at least it was the way it was supposed to work when we > >had trac). This looks better to me as that there is no reason to > >release a broken sage. > > > We are now on github > > > Indeed, +1. Issues to be fixed "as fast as possible" are only critical, or > less. > > "blocker" normally means "blocking the release, must be fixed". > > > Then these blocker Issues with no corresponding PRs > > https://github.com/sagemath/sage/issues/37263 > https://github.com/sagemath/sage/issues/36914 > > forbid the release manager to make a release? > I don't know about these particular issues, but a scenario where things are too broken for a release (e.g. docs stopped building) might happen, and did happen in the part. Are you saying that only PRs can block a release? But how does one even report a very serious issue, without offering a ready fix? Are you saying one should use other channels of communication for this? (Which is weird, to say the least). Yes, with a good probability, such a huge breakage will be noticed by Volker, but what if not? Or for quite some time such a breaking issue won't be noticed? > > Or (as I propose) only blocker PRs fixing the "blocker" Issues forbid the > release manager to make a release? > > > > > > > > -- > 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/0638e722-ddb2-4112-a721-7a25c11b5882n%40googlegroups.com > <https://groups.google.com/d/msgid/sage-devel/0638e722-ddb2-4112-a721-7a25c11b5882n%40googlegroups.com?utm_medium=email&utm_source=footer> > . > -- 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/CAAWYfq29FJeRF43fG3gDegvQjFuHT%3DNzc0Ryz2k33H2vDSV84A%40mail.gmail.com.
