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

On Thursday, July 4, 2024 at 1:02:27 PM UTC+9 Travis Scrimshaw wrote: 3: You might think of them as such, but that doesn't mean other people do. Not only did nobody else raise an issue with this vote, we have had numerous votes in the past as a way to resolve such issues with a disagreement.

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

On Thursday, July 4, 2024 at 1:02:27 PM UTC+9 Travis Scrimshaw wrote: 1: I don't know what you're basing this on. Things in Sage that affect the whole community in any noticeable way have mostly been discussed on sage-devel, with an exception perhaps with many of the things you have been doing.

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

3. The vote was called even though my key points raised in the previous discussion were entirely ignored. 4. The options presented in the vote were cherry-picked, - to include strawmen (whitelisting, blacklisting users -- which obviously no one would be interested in implementing), - to exclud

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

Matthias, let me very explicitly address your points to make sure that you recognized that I did address them (as per your remark 5). 0: That is a misrepresentation of my point: before changes are implemented that affect all developers, some outreach effort to all developers should be done. I a

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

6. Finally, the idea that after a vote has ended, someone has the duty to implement it, is fundamentally flawed. Right. The voting on sage-devel has been a means to get approval from the community for a proposal that the initiator wants to implement. On the other hand, there is no clearcut

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

This vote is really a showcase of flawed governance. 0. The very premise, that somehow the developers are entitled to the status quo of the development infrastructure, is fundamentally flawed. As a reminder, the current status quo was established just over a year ago in the Trac-to-GitHub migrat

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

On Tuesday, July 2, 2024 at 11:35:37 PM UTC+9 Matthias Koeppe wrote: It really does not work this way. This is how we have always done things when there is a dispute, we vote on it. You might not like the result, but there is a clear consensus after a vote and discussion. I am happy to have a

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

It really does not work this way. On Monday, July 1, 2024 at 7:21:34 PM UTC-7 Travis Scrimshaw wrote: > Sorry for the delayed response due to conference travel. > > Vote count: > > (A1) 5 > (A3) 1 > (B) 1ish > > As such, please remove this automatic labeling of PR sizes. > > We can have a proper

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

Sorry for the delayed response due to conference travel. Vote count: (A1) 5 (A3) 1 (B) 1ish As such, please remove this automatic labeling of PR sizes. We can have a proper discussion about how to make it easier for newcommers to find good PRs to review, but we should actually have that discus

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

> *The feature might have been wrongly guided* I'm sorry, that was my mistake (see my recent comment in #37262 ). This caused that there is a difference between B and B7. > *Never

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

Here I forward this post from Dima, which didn't find the right channel: *Fri, Jun 14, 12:25 PM (3 days ago)Please record my vote for A3.I also wonder whether this setup has a side feature which would allowus to collect stats on the sizes of contributions.CheersDima* Gareth Ma schrieb

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

I vote for (A1) and no other options. In fact, I don't think size related labels should be a thing at all, so the second half of (A1), i.e. "the[y] must be added manually (like most other labels)", should preferably be removed as well. (The wording suggests they will be kept and added manually.)

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

On Friday, June 14, 2024 at 11:52:00 PM UTC-7 Vincent Delecroix wrote: > Ideally, there would be a "make the feature even nicer" solution rather than "get rid of that s***". Though, this requires a concrete proposal more than a vote Exactly, that's why a proper participation in the discussion be

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

On the material side I vote (A1). On the human side I vote (B). Matthias raised a delicate point: this feature was introduced by a newcomer to sage development. The feature might have been wrongly guided or badly thought. Nevertheless, it would be very unwelcoming to just revert it. Ideally, ther

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

+1 to (A1) -- 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.googl

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

I vote for (A1). Eric. -- 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://

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

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: Vote: Removing Automatic PR Size Labels

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

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

-1 on conducting a vote without any discussion of the matter. On Wednesday, June 12, 2024 at 8:27:46 PM UTC-7 Travis Scrimshaw wrote: > PR labels are being automatically added to roughly indicate their size. > There are three options besides keeping the current behavior: > > (A1) Remove the auto