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

> *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

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

> *One such functionality is to add component labels (aka "c:" labels) automatically by analyzing what part of sage codebase the PR branch touches.* This is #37373 . Temporarily this has been part of #37262