Re: [sage-devel] pull requests recently updated

On Wed, 2023-08-23 at 01:36 -0700, 'Martin R' via sage-devel wrote: > > Is there a way to fix this? > Now's an OK time to stop adding meaningless milestones to every open ticket. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe

[sage-devel] pull requests recently updated

I like to see which things are actually being worked on, so I go to pull requests, sort by recently updated. However, this does not quite work, because the updates include things like XXX removed this from the sage-10.1 milestone 2 weeks ago Is