> On Jul 22, 2022, at 3:08 PM, Jarek Potiuk <[email protected]> wrote: > > Side comment: I wonder when we will start employing AI to select "best pr”…
For that we would need a training dataset of some sort. A big one. Perhaps we can start small by tagging PRs that are potentially noteworthy? That would be useful in the short term as well - the script could look for them and weigh appropriately. Cheers, Ross
