Ii is currently a pain to find pull requests that *really* need review, because, after every minor release, people tend to merge develop (which makes sense), and then some bot changes the label to "needs review", no matter what it was before.
Can somebody please please fix that? Martin -- 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 [email protected]. To view this discussion visit https://groups.google.com/d/msgid/sage-devel/d1935603-6a61-438a-8d8a-66678c3716d3n%40googlegroups.com.
