Re: [sage-devel] VOTE: use "blocker" label only for PRs; use "critical" label for Issues

2024-02-28 Thread Dima Pasechnik
On Wed, Feb 28, 2024 at 6:45 AM Kwankyu Lee wrote: > Hi, > > Here I withdraw the early premature "giving up" on my recent proposal, > since afterwards there were some positive comments. Hence I open a voting > for > > Proposal: > > 1. Do not use "blocker" label for Issues, as "blocker" means to

[sage-devel] VOTE: use "blocker" label only for PRs; use "critical" label for Issues

2024-02-27 Thread Kwankyu Lee
Hi, Here I withdraw the early premature "giving up" on my recent proposal, since afterwards there were some positive comments. Hence I open a voting for Proposal: 1. Do not use "blocker" label for Issues, as "blocker" means to delay the release. 2. Instead use "critical" label for a very

[sage-devel] VOTE: use "blocker" label only for PRs; use "critical" label for Issues

2024-02-27 Thread Kwankyu Lee
Hi, Here I withdraw the early premature "giving up" on my recent proposal, since afterwards there were some positive comments. Hence I open a voting for Proposal: 1. Do not use "blocker" label for Issues, as "blocker" means to delay the release. 2. Instead use "critical" label for a very