[sage-devel] Re: Vote: Removing Automatic PR Size Labels

2024-06-13 Thread seb....@gmail.com
I vote for A3. If finally there are more votes for A1 than for B then you may count it for A2, as well. julian...@fsfe.org schrieb am Donnerstag, 13. Juni 2024 um 23:20:39 UTC+2: > I vote for (A1) and no other option. > > (I don't see enough added value of these labels and I think that any *list

[sage-devel] Re: New labels v: mimimal, v: small ... on pull requests

2024-06-13 Thread seb....@gmail.com
I think that regardless of questions about governance models, we should take objections from community members seriously if they find something annoying. So why not offer them the possibility to set preferences for extensions to tools we have implemented ourselves? This has no impact on the goa

[sage-devel] Re: Vote: Removing Automatic PR Size Labels

2024-06-13 Thread julian...@fsfe.org
I vote for (A1) and no other option. (I don't see enough added value of these labels and I think that any *list approach is going to be a too obscure feature to warrant the extra effort of maintaining it.) On Thursday, June 13, 2024 at 6:27:46 AM UTC+3 tcsc...@gmail.com wrote: > PR labels are